Revenues - Schedule of Unbilled Revenue and Deferred Revenue (Details) - USD ($) $ in Millions	Jun. 30, 2025	Dec. 31, 2024
Revenue from Contract with Customer [Abstract]
Unbilled revenue (current amount)	$ 8
Total	8	$ 9
Deferred revenue (current amount)	184
Deferred revenue (noncurrent)	260
Total	$ 444	$ 452

Amount, before allowance for credit loss, of right to consideration in exchange for good or service transferred to customer, when right is conditioned on something other than passage of time.

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 310
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481962/310-10-50-7A

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 14
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479319/326-20-50-14

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-1

Reference 4: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-3

+ Details

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

- Definition

Amount, before allowance for credit loss, of right to consideration in exchange for good or service transferred to customer when right is conditioned on something other than passage of time, classified as current.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-1

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-3

+ Details

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

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable.

+ References

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 8
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-8

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-2

+ Details

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

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as current.

+ References

+ Details

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

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as noncurrent.

+ References

+ Details

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

- References

No definition available.

+ Details

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