Contract Assets and Deferred Revenue (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2023	Jun. 30, 2022	Jun. 30, 2023	Jun. 30, 2022	Dec. 31, 2022
Revenue from Contract with Customer [Abstract]
Contract assets - current	$ 16.5		$ 16.5		$ 28.9
Contract assets - long-term	9.8		9.8		11.0
Deferred revenue - current	(219.8)		(219.8)		(200.7)
Deferred revenue - long-term	(113.0)		(113.0)		$ (122.3)
Revenue recognized that was included in deferred revenue at the beginning of the period	$ 53.5	$ 61.9	$ 118.6	$ 144.8