Revenue Recognition (Details) - USD ($) $ in Millions	3 Months Ended								12 Months Ended
	Dec. 31, 2019	Sep. 30, 2019	Jun. 30, 2019	Mar. 31, 2019	Dec. 31, 2018	Sep. 30, 2018	Jun. 30, 2018	Mar. 31, 2018	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Revenue from External Customer [Line Items]
Total revenues	$ 238.5	$ 256.4	$ 269.9	$ 258.0	$ 248.7	$ 260.3	$ 270.4	$ 261.9	$ 1,022.8	$ 1,041.3	$ 982.1
AMS
Revenue from External Customer [Line Items]
Total revenues									477.2	467.9	433.2
EP
Revenue from External Customer [Line Items]
Total revenues									545.6	573.4	548.9
United States
Revenue from External Customer [Line Items]
Total revenues									514.1	513.4	468.9
United States | AMS
Revenue from External Customer [Line Items]
Total revenues									331.3	320.1	292.7
United States | EP
Revenue from External Customer [Line Items]
Total revenues									182.8	193.3	176.2
Europe and the former Commonwealth of Independent States
Revenue from External Customer [Line Items]
Total revenues									218.4	260.8	259.9
Europe and the former Commonwealth of Independent States | AMS
Revenue from External Customer [Line Items]
Total revenues									45.8	46.2	51.6
Europe and the former Commonwealth of Independent States | EP
Revenue from External Customer [Line Items]
Total revenues									172.6	214.6	208.3
Asia/Pacific (including China)
Revenue from External Customer [Line Items]
Total revenues									172.6	159.4	148.4
Asia/Pacific (including China) | AMS
Revenue from External Customer [Line Items]
Total revenues									77.6	76.6	66.1
Asia/Pacific (including China) | EP
Revenue from External Customer [Line Items]
Total revenues									95.0	82.8	82.3
Latin America
Revenue from External Customer [Line Items]
Total revenues									53.2	53.5	57.9
Latin America | AMS
Revenue from External Customer [Line Items]
Total revenues									7.6	10.0	9.4
Latin America | EP
Revenue from External Customer [Line Items]
Total revenues									45.6	43.5	48.5
Other foreign countries
Revenue from External Customer [Line Items]
Total revenues									64.5	54.2	47.0
Other foreign countries | AMS
Revenue from External Customer [Line Items]
Total revenues									14.9	15.0	13.4
Other foreign countries | EP
Revenue from External Customer [Line Items]
Total revenues									49.6	39.2	33.6
Product revenues
Revenue from External Customer [Line Items]
Total revenues									947.0	955.6	884.2
Product revenues | AMS
Revenue from External Customer [Line Items]
Total revenues									462.8	455.5	419.5
Product revenues | EP
Revenue from External Customer [Line Items]
Total revenues									484.2	500.1	464.7
Materials conversion revenues
Revenue from External Customer [Line Items]
Total revenues									65.3	76.6	90.7
Materials conversion revenues | AMS
Revenue from External Customer [Line Items]
Total revenues									8.9	8.4	11.4
Materials conversion revenues | EP
Revenue from External Customer [Line Items]
Total revenues									56.4	68.2	79.3
Other revenues
Revenue from External Customer [Line Items]
Total revenues									10.5	9.1	7.2
Other revenues | AMS
Revenue from External Customer [Line Items]
Total revenues									5.5	4.0	2.3
Other revenues | EP
Revenue from External Customer [Line Items]
Total revenues									$ 5.0	$ 5.1	$ 4.9