Operations by Industry Segment and Geographic Area - Schedule of Sales Into Major Geographic Regions (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Segments, Geographical Areas [Abstract]
Revenues	$ 1,305.1	$ 1,338.2	$ 1,274.5
United States
Segments, Geographical Areas [Abstract]
Revenues	1,015.4	1,083.4	1,014.3
Canada
Segments, Geographical Areas [Abstract]
Revenues	67.4	58.5	63.0
Australia and Oceania
Segments, Geographical Areas [Abstract]
Revenues	52.3	55.7	46.7
Africa
Segments, Geographical Areas [Abstract]
Revenues	40.5	36.6	36.1
Brazil
Segments, Geographical Areas [Abstract]
Revenues	32.9	27.0	24.8
Mexico
Segments, Geographical Areas [Abstract]
Revenues	23.8	8.4	10.7
Other European Countries
Segments, Geographical Areas [Abstract]
Revenues	23.7	26.2	28.0
South America (excluding Brazil)
Segments, Geographical Areas [Abstract]
Revenues	17.8	19.8	20.0
Other Asian Countries
Segments, Geographical Areas [Abstract]
Revenues	12.3	7.7	10.3
Post-Soviet States (excluding Russia)
Segments, Geographical Areas [Abstract]
Revenues	7.2	2.5	2.7
Central America (excluding Mexico)
Segments, Geographical Areas [Abstract]
Revenues	5.6	4.1	10.7
West Indies
Segments, Geographical Areas [Abstract]
Revenues	3.8	2.5	0.4
Middle East
Segments, Geographical Areas [Abstract]
Revenues	1.8	4.9	3.1
India
Segments, Geographical Areas [Abstract]
Revenues	0.6	0.6	2.9
Japan and Korea
Segments, Geographical Areas [Abstract]
Revenues	0.0	0.3	0.4
Russia
Segments, Geographical Areas [Abstract]
Revenues	0.0	0.0	0.3
Other
Segments, Geographical Areas [Abstract]
Revenues	0.0	0.0	0.1
Total foreign
Segments, Geographical Areas [Abstract]
Revenues	$ 289.7	$ 254.8	$ 260.2