Note 1. Summary of Significant Accounting Policies Warranties (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2020
Product Warranty Liability [Line Items]
Standard Product Warranty Accrual	$ 3.3	$ 3.3	$ 3.1	$ 11.3
Warranty costs incurred	(2.5)	(2.7)	(7.4)
Warranty originations and revisions	3.3	3.2	0.1
Warranty expirations	$ (0.8)	$ (0.3)	$ (0.9)
Minimum [Member]
Product Warranty Liability [Line Items]
Product Warranty Period	1 year
Maximum [Member]
Product Warranty Liability [Line Items]
Product Warranty Period	5 years