Note 2. Discontinued Operations Discontinued Operations (Tables)

12 Months Ended

Dec. 31, 2019

Discontinued Operations and Disposal Groups [Abstract]

Disposal Groups, Including Discontinued Operations [Table Text Block]

The following is a summary of operating results included in income (loss) from discontinued operations for the years ended December 31, 2019, 2018, and 2017:

	Year Ended December 31,
	2019			2018			2017
	(in millions)
Revenues	$	—		$	1,042.0		$	1,265.4
Cost of revenues	—			840.8			971.0
Selling, engineering, and administrative expenses	4.1			116.8			116.3
Other (income) expense	—			(0.4		)	1.6
Income (loss) from discontinued operations before income taxes	(4.1		)	84.8			176.5
Provision (benefit) for income taxes	(1.0		)	30.7			73.1
Income (loss) from discontinued operations, net of income taxes	$	(3.1	)	$	54.1		$	103.4