Contract Intangible Assets (Roll forward) (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2020
Gross carrying amount
Beginning Balance, Gross	$ 907	$ 907
Amortization	(117)	(220)	$ (215)
Ending Balance, Gross	907	907	907
Accumulated amortization
Beginning Balance, amortization	(734)	(514)
Amortization	(117)	(220)	(215)
Ending Balance, amortization	(851)	(734)	(514)
Net carrying amount
Beginning Balance, Net	173	393
Amortization	(117)	(220)	(215)
Ending Balance, Net	$ 56	$ 173	$ 393

No definition available.

Name:	us-gaap_AdjustmentForAmortizationAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

The aggregate expense charged against earnings to allocate the cost of intangible assets (nonphysical assets not used in production) in a systematic and rational manner to the periods expected to benefit from such assets. As a noncash expense, this element is added back to net income when calculating cash provided by or used in operations using the indirect method.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 28
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126954810&loc=d3e3602-108585

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 350
-SubTopic 30
-Section 50
-Paragraph 2
-Subparagraph (a)(2)
-URI https://asc.fasb.org/extlink&oid=66006027&loc=d3e16323-109275

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 350
-SubTopic 30
-Section 45
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=6388964&loc=d3e16225-109274

+ Details

Name:	us-gaap_AmortizationOfIntangibleAssets
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Accumulated amount of amortization of assets, excluding financial assets and goodwill, lacking physical substance with a finite life.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 350
-SubTopic 30
-Section 50
-Paragraph 2
-Subparagraph (a)(1)
-URI https://asc.fasb.org/extlink&oid=66006027&loc=d3e16323-109275

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(16))
-URI https://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

+ Details

Name:	us-gaap_FiniteLivedIntangibleAssetsAccumulatedAmortization
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount before amortization of assets, excluding financial assets and goodwill, lacking physical substance with a finite life.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 928
-SubTopic 340
-Section 50
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=6473545&loc=d3e61844-108004

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 350
-SubTopic 30
-Section 50
-Paragraph 2
-Subparagraph (a)(1)
-URI https://asc.fasb.org/extlink&oid=66006027&loc=d3e16323-109275

+ Details

Name:	us-gaap_FiniteLivedIntangibleAssetsGross
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount after amortization of assets, excluding financial assets and goodwill, lacking physical substance with a finite life.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 926
-SubTopic 20
-Section 50
-Paragraph 5
-URI https://asc.fasb.org/extlink&oid=120154696&loc=d3e54445-107959

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 350
-SubTopic 30
-Section 50
-Paragraph 2
-Subparagraph (a)(1)
-URI https://asc.fasb.org/extlink&oid=66006027&loc=d3e16323-109275

+ Details

Name:	us-gaap_FiniteLivedIntangibleAssetsNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

+ References

No definition available.

+ Details

Name:	us-gaap_FiniteLivedIntangibleAssetsRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_IntangibleAssetsGrossExcludingGoodwillAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration