Revenue from Contracts with Customers (Details 3) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2019	Jan. 04, 2019	Dec. 31, 2018
Disaggregation of Revenue [Line Items]
Deferred Revenue, Current			$ 6.8		$ 5.0
Deferred Revenue, Noncurrent			3.9		3.5
Movement in Deferred Revenue [Roll Forward]
Beginning balance	$ 8.5	$ 7.8
Increase in deferred revenue representing our obligation to satisfy future performance obligations	26.0	14.7
Deferred Revenue Addition from Acquisition				$ 1.4	0.0
Increase (Decrease) in Deferred Revenue	25.2	13.8
Foreign currency fluctuations	0.0	(0.2)
Ending balance	10.7	8.5
Revenue, Performance Obligation Satisfied over Time [Abstract]
2020			6.8
2021			2.1
2022			1.1
2023			0.5
2024			0.2
Thereafter			0.0
Total	$ 10.7	$ 8.5	$ 10.7		$ 8.5
Prepaid Maintenance Contract Duration, Minimum
Disaggregation of Revenue [Line Items]
Standard Prepaid Maintenance Contract Time Period	12 years
Prepaid Maintenance Contract Duration, Maximum
Disaggregation of Revenue [Line Items]
Standard Prepaid Maintenance Contract Time Period	60 years