Note 2. Discontinued Operations Discontinued Operations (Details) - USD ($) $ in Millions	3 Months Ended								12 Months Ended
	Dec. 31, 2019	Sep. 30, 2019	Jun. 30, 2019	Mar. 31, 2019	Dec. 31, 2018	Sep. 30, 2018	Jun. 30, 2018	Mar. 31, 2018	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Income Statement, Balance Sheet and Additional Disclosures by Disposal Groups, Including Discontinued Operations [Line Items]
Discontinued Operation, Intra-Entity Amounts, Discontinued Operation after Disposal, Expense									$ 2.9	$ 36.3	$ 14.2
Business Combination, Separately Recognized Transactions, Expenses and Losses Recognized									2.9	31.2	14.2
Disposal Group, Including Discontinued Operation, Revenue									0.0	1,042.0	1,265.4
Disposal Group, Including Discontinued Operation, Costs of Goods Sold									0.0	840.8	971.0
Disposal Group, Including Discontinued Operation, General and Administrative Expense									4.1	116.8	116.3
Disposal Group, Including Discontinued Operation, Other Expense									0.0		1.6
Disposal Group, Including Discontinued Operation, Other Income										(0.4)
Discontinued Operation, Income (Loss) from Discontinued Operation, before Income Tax									(4.1)	84.8	176.5
Discontinued Operation, Tax Effect of Discontinued Operation									(1.0)	30.7	73.1
Income (Loss) from Discontinued Operations, Net of Tax, Including Portion Attributable to Noncontrolling Interest	$ (0.8)	$ (0.4)	$ (0.8)	$ (1.1)	$ (0.3)	$ (0.2)	$ 28.2	$ 26.4	$ (3.1)	$ 54.1	$ 103.4