Revenues, Remaining Performance Obligations (Details) $ in Millions	Dec. 31, 2020 USD ($)
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 28,995.2
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-01-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 3,906.4
Expected timing of satisfaction, period	1 year
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,492.3
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,110.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,937.3
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,636.5
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,912.5
Expected timing of satisfaction, period