Leases (Payment for Operating Leases Expense) (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Leases [Abstract]
Operating leases expense	$ 5.3	$ 4.1	$ 2.8
Short-term leases expense	0.8	0.7	0.6
Payments on operating lease obligations	$ 4.9	$ 4.0	$ 3.1