Revenues, Remaining Performance Obligations (Details) $ in Millions	Dec. 31, 2019 USD ($)
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 29,789.5
Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-01-01
Remaining Performance Obligation to be Recognized in the Future [Abstract]
Remaining performance obligation	$ 3,654.6
Expected timing of satisfaction, period	1 year
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,363.9
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,062.7
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	$ 2,857.8
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,743.8
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	$ 14,106.7
Expected timing of satisfaction, period