Other Financial Information - Deferred Revenue (Details) - USD ($) $ in Millions	Sep. 30, 2023	Dec. 31, 2022
Disaggregation of Revenue [Line Items]
Current	$ 1,037.6	$ 1,020.5
Long-term	802.4	642.6
Total	1,840.0	1,663.1
Deferred product revenue
Disaggregation of Revenue [Line Items]
Total	88.5	108.8
Deferred service revenue
Disaggregation of Revenue [Line Items]
Total	$ 1,751.5	$ 1,554.3