Segments and Geographic Areas (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Segment Reporting [Abstract]
Export Sales	$ 113.2	$ 95.5	$ 71.4