Discontinued Operations (Tables)

3 Months Ended

Mar. 31, 2020

Discontinued Operations and Disposal Groups [Abstract]

Results of U.S. Federal Business Discontinued Operations

The results of the U.S. Federal business discontinued operations for the three months ended March 31, 2020 and 2019 were as follows (in millions of dollars):

	2020*		2019
Revenue	$	149.5	$	141.3
Income:
Operations	9.0		17.7
Gain on sale	1,061.7		—
	1,070.7		17.7
Income tax provision	2.2		4.4
Income from discontinued operations, net of tax	$	1,068.5	$	13.3

* Includes results of operations through the March 13, 2020 closing date.