Other Income, Net - Summary of Other Income (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Aug. 31, 2022	Aug. 31, 2021	Aug. 31, 2022	Aug. 31, 2021
Other Income and Expenses [Abstract]
Gain on sale of business	$ 49.6	$ 0.0	$ 49.6	$ 0.0
Gain of settlement on treasury locks	18.7	0.0	18.7	0.0
Pension and other postretirement benefit income	2.4	1.5	7.5	4.7
Interest income	4.8	2.4	11.7	6.5
Other	1.9	(0.4)	2.4	0.8
Total other income, net	$ 77.4	$ 3.5	$ 89.9	$ 12.0