Derivatives and Fair Value Measurements - Gains and Losses on Hedging Derivatives (Details) - Designated as Hedging Instrument - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2020	Sep. 30, 2019	Sep. 30, 2020	Sep. 30, 2019
Derivative Instruments, Gain (Loss) [Line Items]
Total gain (loss) recognized in income	$ (13.0)	$ (23.0)	$ (7.8)	$ 66.5
Gain (loss) realized in income on derivatives	2.4	(7.3)	2.3	10.6
Unrealized gain (loss) recognized in income on derivatives	(15.4)	(15.7)	(10.1)	55.9
Foreign currency option contracts
Derivative Instruments, Gain (Loss) [Line Items]
Total gain (loss) recognized in income	3.9	(1.0)	5.2	(3.5)
Gain (loss) realized in income on derivatives	3.2	(1.3)	1.6	(3.7)
Unrealized gain (loss) recognized in income on derivatives	0.7	0.3	3.6	0.2
Coal contracts related to forecasted sales
Derivative Instruments, Gain (Loss) [Line Items]
Total gain (loss) recognized in income	(16.7)	(22.7)	(12.5)	70.5
Gain (loss) realized in income on derivatives	(0.6)	(4.7)	(1.2)	26.3
Unrealized gain (loss) recognized in income on derivatives	(16.1)	(18.0)	(11.3)	44.2
Coal trading contracts
Derivative Instruments, Gain (Loss) [Line Items]
Total gain (loss) recognized in income	(0.2)	0.7	(0.5)	(0.5)
Gain (loss) realized in income on derivatives	(0.2)	(1.3)	1.9	(12.0)
Unrealized gain (loss) recognized in income on derivatives	$ 0.0	$ 2.0	$ (2.4)	$ 11.5