Annual report pursuant to Section 13 and 15(d)

Summary of Significant Accounting Policies - Revenue recognition - Performance obligations (Details)

v3.24.0.1
Summary of Significant Accounting Policies - Revenue recognition - Performance obligations (Details) - Formula 1
$ in Millions
Dec. 31, 2023
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-01-01  
Remaining performance obligations  
Remaining performance obligation, revenue expected to be recognized $ 2,333
Expected timing of satisfaction period 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01  
Remaining performance obligations  
Remaining performance obligation, revenue expected to be recognized $ 2,213
Expected timing of satisfaction period 12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-01-01  
Remaining performance obligations  
Remaining performance obligation, revenue expected to be recognized $ 5,899
Expected timing of satisfaction period 60 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2031-01-01  
Remaining performance obligations  
Remaining performance obligation, revenue expected to be recognized $ 1,777
Expected timing of satisfaction period