Inventories (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2018	Dec. 31, 2017	Dec. 31, 2016
Major classes of inventories
Finished goods	$ 211.2	$ 291.0
Service parts	221.6	259.4
Raw materials and work in process	177.3	164.1
Total inventories	610.1	714.5
Inventory Write-down	$ 74.5	4.2	$ 1.8
Inventory Error Correction [Member]
Major classes of inventories
Finished goods		10.9
Service parts		11.2
Raw materials and work in process		$ 0.4