Schedule of Lease Income from Sales (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2024	Jun. 30, 2023	Jun. 30, 2024	Jun. 30, 2023
Leases
Interest receivable	$ 0.1		$ 0.3
Profit recognized at commencement date of sales type leases	0.8		1.3
Total	$ 0.9		$ 1.6