Employee Benefit and Retirement Plans - Components of Other Postretirement Benefit Expenses (Details) - Other Postretirement Benefit Plan - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Aug. 31, 2019	Aug. 31, 2018	Aug. 31, 2019	Aug. 31, 2018
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]
Service cost	$ 0.5	$ 0.6	$ 1.5	$ 1.8
Interest costs	0.7	0.6	2.0	1.8
Amortization of prior service costs	(2.2)	(2.2)	(6.5)	(6.5)
Defined Benefit Plan, Amortization of Gain (Loss)	0.1	0.0	0.5	0.0
Total other postretirement expense	$ (1.1)	$ (1.0)	$ (3.5)	$ (2.9)