XML 53 R43.htm IDEA: XBRL DOCUMENT v3.23.3
Revenues - Allowance for Credit Losses (Details) - USD ($)
$ in Millions
3 Months Ended
Aug. 31, 2023
Aug. 31, 2022
Accounts Receivable, Allowance for Credit Loss [Roll Forward]    
Balance as of June 1, 2023 $ 16.7  
Provision for losses on accounts receivable 0.6 $ (1.5)
Write-offs and other (0.2)  
Balance as of August 31, 2023 $ 17.1