XML 67 R53.htm IDEA: XBRL DOCUMENT v3.25.2
Revenue - Schedule of Remaining Performance Obligations (Details)
$ in Millions
Jun. 30, 2025
USD ($)
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation $ 1,631
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2025-07-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation $ 331
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2026-01-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation $ 583
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2027-01-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue, Remaining Performance Obligation $ 717
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period 1 year