Leases (Details) - USD ($) $ in Millions	12 Months Ended
	May 31, 2023	May 31, 2022	May 31, 2021
Operating lease cost
Operating lease cost	$ 20.3	$ 20.8	$ 16.4
Short-term lease cost	5.9	2.2	1.7
Variable lease cost	3.2	9.2	3.5
Total operating lease cost	$ 29.4	$ 32.2	$ 21.6