XML 84 R70.htm IDEA: XBRL DOCUMENT v3.23.2
Leases - Lease Expense (Details) - USD ($)
$ in Millions
12 Months Ended
May 31, 2023
May 31, 2022
May 31, 2021
Leases [Abstract]      
Operating lease expense $ 26.6 $ 25.9 $ 28.3
Depreciation of leased assets 2.1 2.2 2.3
Accretion of lease liabilities 0.3 0.4 0.4
Total lease expense $ 29.0 $ 28.5 $ 31.0