Leases (Lease Income Associated with Operating Leases) (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2025	Mar. 31, 2024
Leases [Abstract]
Fixed payments	$ 4	$ 4
Variable payments	11	10
Total lease income under operating leases	$ 15	$ 14

No definition available.

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

- Definition

Amount of operating lease income from lease payments and variable lease payments paid and payable to lessor. Includes, but is not limited to, variable lease payments not included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-6A

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479016/842-30-45-3

+ Details

Name:	us-gaap_OperatingLeaseLeaseIncome
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of operating lease income from lease payments paid and payable to lessor. Excludes variable lease payments not included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-6A

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-5

+ Details

Name:	us-gaap_OperatingLeaseLeaseIncomeLeasePayments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of operating lease income from variable lease payments paid and payable to lessor, excluding amount included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479773/842-30-50-5

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-6A

+ Details

Name:	us-gaap_OperatingLeaseVariableLeaseIncome
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration