Product Warranty (Narrative) (Details) - USD ($) $ in Millions	9 Months Ended
	Sep. 30, 2024	Dec. 31, 2023	Sep. 30, 2023
Product Warranty Liability [Line Items]
Product warranty period, minimum, years	1 year
Product warranty period, maximum, years	4 years
Product warranty accrual, current	$ 645.2	$ 679.9	$ 625.6
Product warranty accrual, noncurrent	$ 147.6	$ 120.9	$ 109.6
Minimum
Product Warranty Liability [Line Items]
Extended product warranty, period	3 years
Maximum
Product Warranty Liability [Line Items]
Extended product warranty, period	5 years