Leases (Payment for Operating Leases Expense) (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2024	Mar. 31, 2023
Leases [Abstract]
Operating leases expense	$ 1.3	$ 1.0
Short-term leases expense	0.2	0.1
Payments on operating lease obligations	$ 1.0	$ 0.8