Revenue (Expected Timing of Performance Obligation Satisfaction Related to Fixed Consideration) (Details) $ in Millions | Sep. 30, 2023 USD ($) |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 91 |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 3 |
Remaining performance obligation, expected timing of satisfaction | 3 months |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 13 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 13 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 13 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 13 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 36 |
Remaining performance obligation, expected timing of satisfaction | |
Fixed-price Contract | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 710 |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 27 |
Remaining performance obligation, expected timing of satisfaction | 3 months |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 129 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 133 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 103 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 71 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-10-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 247 |
Remaining performance obligation, expected timing of satisfaction | |