Accounting Policies and Supplemental Disclosures - Unearned Revenue (Details) - USD ($) $ in Billions	3 Months Ended
Mar. 31, 2023	Dec. 31, 2022
Accounting Policies [Abstract]
Unearned revenue		$ 16.1
Unearned revenue, revenue recognized	$ 5.3
Unearned revenue, long-term	2.8	$ 2.9
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-04-01
Accounting Policies [Abstract]
Remaining performance obligation, contracts exceeding one year	$ 122.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation, weighted average remaining life	3 years 10 months 24 days

No definition available.

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

- 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=126919976&loc=SL49130531-203044

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130549-203045

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=126919976&loc=SL49130532-203044

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

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=126919976&loc=SL49130532-203044

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=126919976&loc=SL49130531-203044

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130549-203045

+ Details

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

- Definition

Amount of revenue recognized that was previously included in balance of obligation to transfer good or service to customer for which consideration from customer has been received or is due.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130549-203045

+ Details

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

- Definition

Amount of transaction price allocated to performance obligation that has not been recognized as revenue.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 13
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130556-203045

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

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

- Definition

Period in which remaining performance obligation is expected to be recognized as revenue, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 13
-Subparagraph (b)(1)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130556-203045

+ Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionPeriod1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionStartDateAxis=2023-04-01
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: