Note 2. Discontinued Operations Discontinued Operations (Tables)

12 Months Ended

Dec. 31, 2020

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, 2020, 2019, and 2018:

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