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, 2020	Sep. 30, 2020	Dec. 31, 2019
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Post-contract support contract, term		12 months
Deferred revenue	$ 35.2	$ 35.2	$ 38.0
Deferred revenue recognized	2.8	19.5
Estimation of future revenues	$ 21.2	$ 21.2
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