Other Financial Information - Deferred Revenue (Details) - USD ($) $ in Millions	Jun. 30, 2020	Dec. 31, 2019
Reported as:
Current	$ 834.5	$ 812.9
Long-term	377.1	410.5
Deferred revenue	1,211.6	1,223.4
Undelivered product commitments and other product deferrals
Deferred product revenue:
Deferred gross product revenue	125.9	141.7
Product
Deferred product revenue:
Deferred gross product revenue	125.9	141.7
Deferred cost of product revenue	(9.6)	(9.1)
Reported as:
Deferred revenue	116.3	132.6
Service
Reported as:
Deferred revenue	$ 1,095.3	$ 1,090.8