Business, Product and Geographical Area Information and Concentration of Risk, Income Taxes Paid by Geographical Area (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2019	Jun. 30, 2018	Jun. 30, 2019	Jun. 30, 2018
Segment Reporting Information
Income taxes paid	$ 2.2	$ 2.7	$ 3.1	$ 2.9
Domestic
Segment Reporting Information
Income taxes paid	1.8	0.7	1.9	0.9
Foreign
Segment Reporting Information
Income taxes paid	$ 0.4	$ 2.0	$ 1.2	$ 2.0