Remaining Unsatisfied Performance Obligations (Details) $ in Millions	Mar. 31, 2024 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected timing of satisfaction, period	$ 31,326
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-04-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected timing of satisfaction, period	$ 15,330
Remaining performance obligation, period (in years)	9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected timing of satisfaction, period	$ 9,591
Remaining performance obligation, period (in years)	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected timing of satisfaction, period	$ 6,405
Remaining performance obligation, period (in years)	2 years