v3.26.1
Revenue from External Customers by Geographic Areas (Details) - USD ($)
$ in Millions
3 Months Ended
Mar. 31, 2026
Mar. 31, 2025
Revenue from External Customer [Line Items]    
Revenue $ 3,469 $ 3,327
UNITED STATES    
Revenue from External Customer [Line Items]    
Revenue 1,569 1,545
GERMANY    
Revenue from External Customer [Line Items]    
Revenue 481 426
UNITED KINGDOM    
Revenue from External Customer [Line Items]    
Revenue 427 417
Other countries    
Revenue from External Customer [Line Items]    
Revenue $ 992 $ 939