XML 85 R67.htm IDEA: XBRL DOCUMENT v3.20.2
Leases (Details)
$ in Millions
12 Months Ended
May 31, 2020
USD ($)
Operating lease cost  
Operating lease cost $ 18.4
Short-term lease cost 5.3
Variable lease cost 7.4
Total operating lease cost $ 31.1