XML 23 R47.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Nov. 30, 2019
Nov. 30, 2019
Operating lease cost    
Operating lease cost $ 4.5 $ 8.7
Short-term lease cost 1.3 2.6
Variable lease cost 1.8 2.8
Total operating lease cost $ 7.6 $ 14.1