Leases - Sales-Type Leases, Revenue (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2023	Jun. 30, 2022	Jun. 30, 2023	Jun. 30, 2022
Leases [Abstract]
Sales-type lease, selling price	$ 8.2	$ 11.4	$ 16.4	$ 18.5
Cost of underlying assets	(4.5)	(5.4)	(7.9)	(8.7)
Operating profit	3.7	6.0	8.5	9.8
Interest income	1.4	0.9	2.7	1.8
Total revenue attributable to sales-type leases	$ 9.6	$ 12.3	$ 19.1	$ 20.3