Accumulated Other Comprehensive Loss (Details) - USD ($) $ in Millions	3 Months Ended						9 Months Ended
	Feb. 29, 2024	Nov. 30, 2023	Aug. 31, 2023	Feb. 28, 2023	Nov. 30, 2022	Aug. 31, 2022	Feb. 29, 2024	Feb. 28, 2023
Accumulated Other Comprehensive Loss
Beginning Balance	$ (8.5)		$ (23.5)	$ (22.8)		$ (19.6)	$ (23.5)	$ (19.6)
Other comprehensive income (loss) before reclassifications	(0.2)			0.7			(0.1)	(2.9)
Amounts reclassified from AOCL				0.1			14.9	0.5
Total other comprehensive income (loss)	(0.2)	$ (0.4)	15.4	0.8	$ (0.1)	(3.1)	14.8	(2.4)
Ending Balance	(8.7)	(8.5)		(22.0)	(22.8)		(8.7)	(22.0)
Currency Translation Adjustments
Accumulated Other Comprehensive Loss
Beginning Balance	(5.6)		(5.7)	(6.4)		(2.8)	(5.7)	(2.8)
Other comprehensive income (loss) before reclassifications	(0.2)			0.7			(0.1)	(2.9)
Total other comprehensive income (loss)	(0.2)			0.7			(0.1)	(2.9)
Ending Balance	(5.8)	(5.6)		(5.7)	(6.4)		(5.8)	(5.7)
Pensions Plans
Accumulated Other Comprehensive Loss
Beginning Balance	(2.9)		$ (17.8)	(16.4)		$ (16.8)	(17.8)	(16.8)
Amounts reclassified from AOCL				0.1			14.9	0.5
Total other comprehensive income (loss)				0.1			14.9	0.5
Ending Balance	$ (2.9)	$ (2.9)		$ (16.3)	$ (16.4)		$ (2.9)	$ (16.3)