Revenues - Allowance for Credit Losses (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Nov. 30, 2023	Aug. 31, 2023	Nov. 30, 2023	Nov. 30, 2022
Accounts Receivable, Allowance for Credit Loss [Roll Forward]
Balance as of June 1, 2023	$ 17.1	$ 16.7	$ 16.7
Provision for losses on accounts receivable	2.5	0.6	3.1	$ 1.3
Write-offs and other	(3.4)	(0.2)
Balance as of August 31, 2023	$ 16.2	$ 17.1	$ 16.2