Schedule of Lease Income from Sales (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2024	Sep. 30, 2023	Sep. 30, 2024	Sep. 30, 2023
Leases
Interest receivable	$ 0.2		$ 0.5
Profit recognized at commencement date of sales type leases	0.7		2.0
Total	$ 0.9		$ 2.5