Revenues, Remaining Performance Obligations (Details) $ in Millions	Mar. 31, 2021 USD ($)
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 28,121.8
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-04-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 2,959.8
Expected timing of satisfaction, period	9 months
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-01-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 3,528.0
Expected timing of satisfaction, period	1 year
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 3,123.2
Expected timing of satisfaction, period	1 year
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-01-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 2,948.0
Expected timing of satisfaction, period	1 year
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 2,634.0
Expected timing of satisfaction, period	1 year
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-01-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 12,928.8
Expected timing of satisfaction, period