Revenues - Allowance for Credit Losses (Details) - USD ($) $ in Millions	3 Months Ended			9 Months Ended
	Feb. 29, 2024	Nov. 30, 2023	Aug. 31, 2023	Feb. 29, 2024	Feb. 28, 2023
Accounts Receivable, Allowance for Credit Loss [Roll Forward]
Balance as of June 1, 2023	$ 16.2	$ 17.1	$ 16.7	$ 16.7
Provision for losses on accounts receivable	0.9	2.5	0.6	4.0	$ 1.8
Write-offs and other	(1.5)	(3.4)	(0.2)
Balance as of August 31, 2023	$ 15.6	$ 16.2	$ 17.1	$ 15.6