Revenue Recognition (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2019	Sep. 30, 2018	Sep. 30, 2019	Sep. 30, 2018
Revenue from External Customer [Line Items]
Total revenues	$ 256.4	$ 260.3	$ 784.3	$ 792.6
United States
Revenue from External Customer [Line Items]
Total revenues	131.9	131.7	400.9	394.3
Europe and the former Commonwealth of Independent States
Revenue from External Customer [Line Items]
Total revenues	51.1	61.0	163.8	205.1
Asia/Pacific (including China)
Revenue from External Customer [Line Items]
Total revenues	43.1	38.2	128.7	114.0
Latin America
Revenue from External Customer [Line Items]
Total revenues	13.0	13.1	39.9	40.8
Other foreign countries
Revenue from External Customer [Line Items]
Total revenues	17.3	16.3	51.0	38.4
Product revenues
Revenue from External Customer [Line Items]
Total revenues	238.7	242.1	728.4	725.5
Materials conversion revenues
Revenue from External Customer [Line Items]
Total revenues	15.2	15.8	47.8	60.4
Other revenues
Revenue from External Customer [Line Items]
Total revenues	2.5	2.4	8.1	6.7
AMS
Revenue from External Customer [Line Items]
Total revenues	126.1	120.8	373.3	360.1
AMS | United States
Revenue from External Customer [Line Items]
Total revenues	87.8	84.7	258.5	247.6
AMS | Europe and the former Commonwealth of Independent States
Revenue from External Customer [Line Items]
Total revenues	12.1	10.0	38.7	36.5
AMS | Asia/Pacific (including China)
Revenue from External Customer [Line Items]
Total revenues	20.7	20.3	58.4	56.9
AMS | Latin America
Revenue from External Customer [Line Items]
Total revenues	1.8	2.1	5.3	7.8
AMS | Other foreign countries
Revenue from External Customer [Line Items]
Total revenues	3.7	3.7	12.4	11.3
AMS | Product revenues
Revenue from External Customer [Line Items]
Total revenues	122.7	117.9	362.9	346.9
AMS | Materials conversion revenues
Revenue from External Customer [Line Items]
Total revenues	2.3	1.9	6.2	10.3
AMS | Other revenues
Revenue from External Customer [Line Items]
Total revenues	1.1	1.0	4.2	2.9
EP
Revenue from External Customer [Line Items]
Total revenues	130.3	139.5	411.0	432.5
EP | United States
Revenue from External Customer [Line Items]
Total revenues	44.1	47.0	142.4	146.7
EP | Europe and the former Commonwealth of Independent States
Revenue from External Customer [Line Items]
Total revenues	39.0	51.0	125.1	168.6
EP | Asia/Pacific (including China)
Revenue from External Customer [Line Items]
Total revenues	22.4	17.9	70.3	57.1
EP | Latin America
Revenue from External Customer [Line Items]
Total revenues	11.2	11.0	34.6	33.0
EP | Other foreign countries
Revenue from External Customer [Line Items]
Total revenues	13.6	12.6	38.6	27.1
EP | Product revenues
Revenue from External Customer [Line Items]
Total revenues	116.0	124.2	365.5	378.6
EP | Materials conversion revenues
Revenue from External Customer [Line Items]
Total revenues	12.9	13.9	41.6	50.1
EP | Other revenues
Revenue from External Customer [Line Items]
Total revenues	$ 1.4	$ 1.4	$ 3.9	$ 3.8