Valuation of debt and equity investments and certain liabilities - Additional Information (Details) - USD ($)	3 Months Ended
Mar. 31, 2024	Mar. 31, 2023	Dec. 31, 2023
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	2,630,000,000	$ 4,030,000,000.00
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
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-2

+ 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
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ 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/2009/role/commonPracticeRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481830/320-10-45-11

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

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

+ 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: