Revenue Recognition (Deferred Revenue) (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2020
Revenue Recognition [Abstract]
Balance at beginning of period	$ 108.3	$ 89.1	$ 63.1
New contracts sold	49.1	55.0	49.0
Balance at end of period	111.1	108.3	89.1
Deferred Revenue, Revenue Recognized	(46.3)	(35.8)	$ (23.0)
Deferred Revenue, Current	35.5	34.7
Deferred Revenue, Noncurrent	$ 75.6	$ 73.6