Revenue Recognition (Extended Warranties and Post-Contract Support) (Details) - Extended warranties and post contract support - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2022	Dec. 31, 2021
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Post-contract support contract, term	12 months
Deferred revenue	$ 26.4	$ 30.0
Deferred revenue recognized	21.3
Estimation of future revenues	$ 11.3
Minimum
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Extended product warranty, term	1 year
Maximum
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Extended product warranty, term	5 years