Valuation of debt and equity investments and certain liabilities - Additional Information (Details) - USD ($)	3 Months Ended
Mar. 31, 2023	Mar. 31, 2022	Dec. 31, 2022
Fair Value, Balance Sheet Grouping, Financial Statement Captions [Line Items]
Credit losses related to available-for-sale investments	$ 0	$ 0
Proceeds from sales, redemptions and maturities of short-term available-for-sale investments	4,030,000,000.00	$ 2,770,000,000
Level 3
Fair Value, Balance Sheet Grouping, Financial Statement Captions [Line Items]
Liabilities, fair value	0		$ 0
Assets, fair value	$ 0		$ 0

Fair value portion of probable future economic benefits obtained or controlled by an entity as a result of past transactions or events.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126976982&loc=d3e19207-110258

+ Details

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

- Definition

Amount of increase (decrease) in allowance for credit loss of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 9
-URI https://asc.fasb.org/extlink&oid=124269663&loc=SL82922900-210455

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleAllowanceForCreditLossPeriodIncreaseDecrease
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	na
Period Type:	duration

- 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_FairValueBalanceSheetGroupingFinancialStatementCaptionsLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Fair value of financial and nonfinancial obligations.

+ References

+ Details

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

- Definition

Amount of cash inflow from sale, maturity, prepayment and call of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 11
-URI https://asc.fasb.org/extlink&oid=126954810&loc=d3e3151-108585

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126954810&loc=d3e3179-108585

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI https://asc.fasb.org/extlink&oid=124260329&loc=d3e26853-111562

+ Details

Name:	us-gaap_ProceedsFromSaleAndMaturityOfAvailableForSaleSecurities
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Details

Name:	us-gaap_FairValueByFairValueHierarchyLevelAxis=us-gaap_FairValueInputsLevel3Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: