Leases (Payment for Operating Leases Expense) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2024	Jun. 30, 2023	Jun. 30, 2024	Jun. 30, 2023
Leases [Abstract]
Operating leases expense	$ 1.3	$ 0.8	$ 2.6	$ 1.8
Short-term leases expense	0.1	0.3	0.3	0.4
Payments on operating lease obligations	$ 1.4	$ 0.9	$ 2.4	$ 1.7