Other Income, Net - Summary of Other Income (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Aug. 31, 2023	Aug. 31, 2022	Aug. 31, 2023	Aug. 31, 2022
Other Income and Expenses [Abstract]
Gain on sale of business	$ 0.0	$ 49.6	$ 0.0	$ 49.6
Gain on settlement of treasury lock	0.0	18.7	0.0	18.7
Pension and other postretirement benefit income	2.7	2.4	8.0	7.5
Interest income	9.4	4.8	26.4	11.7
Other	(5.0)	1.9	(3.7)	2.4
Total other income, net	$ 7.1	$ 77.4	$ 30.7	$ 89.9