Revenues from Contracts with Customers (Narrative) (Details) - USD ($)	6 Months Ended
Jun. 30, 2024	Dec. 31, 2023
Revenue from Contract with Customer [Abstract]
Deferred revenue	$ 310,000,000	$ 258,000,000
Expected period for satisfaction of performance obligation	three days
Receivables	$ 72,000,000	71,000,000
Allowance for doubtful accounts, receivables	$ 0	$ 0

The valuation allowance as of the balance sheet date to reduce the gross amount of receivables to estimated net realizable value, which would be presented in parentheses on the face of the balance sheet.

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

+ Details

Name:	us-gaap_AllowanceForDoubtfulAccountsPremiumsAndOtherReceivables
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.

+ 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

The total amount due to the entity within one year of the balance sheet date (or one operating cycle, if longer) from outside sources, including trade accounts receivable, notes and loans receivable, as well as any other types of receivables, net of allowances established for the purpose of reducing such receivables to an amount that approximates their net realizable value.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 852
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 10
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481372/852-10-55-10

+ Details

Name:	us-gaap_ReceivablesNetCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
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

- Definition

Description of timing for satisfying performance obligation in contract with customer. Includes, but is not limited to, as services are rendered, and upon shipment, delivery or completion of service.

+ References

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

+ Details

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