Receivables - Schedule of Receivables (Details) - USD ($) $ in Millions	Mar. 31, 2023	Dec. 31, 2022	Mar. 31, 2022	Dec. 31, 2021
Receivables [Abstract]
Trade receivables - U.S. government	$ 124.7	$ 135.3
Trade receivables - other	1,135.8	979.5
Finance receivables	8.3	7.3
Notes receivable	7.6
Other receivables	58.0	53.3
Receivables, gross	1,334.4	1,175.4
Less allowance for doubtful accounts	(7.1)	(6.7)	$ (5.9)	$ (4.2)
Receivables, net	$ 1,327.3	$ 1,168.7