Revenue (Expected Timing of Performance Obligation Satisfaction Related to Fixed Consideration) (Details) $ in Millions | Mar. 31, 2023 USD ($) |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 36 |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 3 |
Remaining performance obligation, expected timing of satisfaction | 9 months |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 4 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 5 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 5 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 5 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 14 |
Remaining performance obligation, expected timing of satisfaction | |
Fixed-price Contract | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 403 |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 79 |
Remaining performance obligation, expected timing of satisfaction | 9 months |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 96 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 86 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 57 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 35 |
Remaining performance obligation, expected timing of satisfaction | 1 year |
Fixed-price Contract | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-04-01 | |
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
Remaining performance obligation | $ 50 |
Remaining performance obligation, expected timing of satisfaction | |