XML 39 R46.htm IDEA: XBRL DOCUMENT v3.19.2
Leases (Details)
$ in Millions
3 Months Ended
Aug. 31, 2019
USD ($)
Operating lease cost  
Operating lease cost $ 4.2
Short-term lease cost 1.3
Variable lease cost 1.0
Lease, Cost, Total $ 6.5