Discontinued operations (Tables)

12 Months Ended

Dec. 31, 2022

Discontinued Operations and Disposal Groups [Abstract]

Schedule of Results of U.S Federal Business Discontinued Operations

The results of the U.S. Federal business discontinued operations were as follows:

Year ended December 31,	2020*
Revenue	$	149.5
Income
Operations	8.4
Gain on sale	1,060.7
	1,069.1
Income tax provision	0.7
Income from discontinued operations, net of tax	$	1,068.4

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