Revenues, Unbilled Revenue and Deferred Revenue (Details) - USD ($) $ in Millions	Mar. 31, 2025	Dec. 31, 2024
Contracts with Customers, Assets and Liabilities [Abstract]
Unbilled revenue	$ 9	$ 9
Deferred revenue	465	$ 452
Prepaid and other current assets [Member]
Contracts with Customers, Assets and Liabilities [Abstract]
Unbilled revenue (current amount)	9
Other current liabilities [Member]
Contracts with Customers, Assets and Liabilities [Abstract]
Deferred revenue (current amount)	198
Other long-term liabilities [Member]
Contracts with Customers, Assets and Liabilities [Abstract]
Deferred revenue (noncurrent)	$ 267

No definition available.

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

- 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.

+ References

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 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-1

Reference 2: 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 3: 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

- Details

Name:	us-gaap_BalanceSheetLocationAxis=us-gaap_OtherCurrentAssetsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_BalanceSheetLocationAxis=us-gaap_OtherCurrentLiabilitiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_BalanceSheetLocationAxis=us-gaap_OtherLiabilitiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: