Revenue Recognition (Extended Warranties and Post-Contract Support) (Details) - Extended Warranties and Post Contract Support - USD ($) $ in Millions	3 Months Ended	9 Months Ended
	Sep. 30, 2023	Sep. 30, 2023	Dec. 31, 2022
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Post-contract support contract, term (in months)		12 months
Deferred revenue	$ 25.5	$ 25.5	$ 26.4
Deferred revenue recognized	1.6	18.5
Estimation of future revenues	$ 9.6	$ 9.6
Minimum
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Extended product warranty, term (in years)		1 year
Maximum
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Extended product warranty, term (in years)		5 years