Contract Assets and Deferred Revenue (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022	Dec. 31, 2022
Revenue from Contract with Customer [Abstract]
Contract assets - current	$ 14.7		$ 14.7		$ 28.9
Contract assets - long-term	9.0		9.0		11.0
Deferred revenue - current	(202.0)		(202.0)		(200.7)
Deferred revenue - long-term	(102.0)		(102.0)		$ (122.3)
Revenue recognized that was included in deferred revenue at the beginning of the period	$ 39.7	$ 40.7	$ 158.3	$ 185.5