Leases Operating Lease (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Operating lease expense:
Operating lease cost	$ 45.7	$ 48.2	$ 49.1
Short-term lease cost	10.4	0.0	0.0
Total operating lease expense	$ 56.1	$ 48.2	$ 49.1