Valuation of debt and equity investments and certain liabilities - Additional Information (Details) - USD ($)	3 Months Ended
Mar. 31, 2020	Mar. 31, 2019	Dec. 31, 2019
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	1,390,000,000	$ 1,580,000,000
Proceeds from sale of short-term investments	253,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 http://asc.fasb.org/extlink&oid=117815213&loc=d3e19207-110258

+ Details

Name:	us-gaap_AssetsFairValueDisclosure
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
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_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 other-than-temporary impairment (OTTI) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), recognized in earnings.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 8A
-URI http://asc.fasb.org/extlink&oid=118954083&loc=SL6284422-111562

+ Details

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

- 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 http://asc.fasb.org/extlink&oid=118932676&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 http://asc.fasb.org/extlink&oid=118932676&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 http://asc.fasb.org/extlink&oid=118954083&loc=d3e26853-111562

+ Details

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

- Definition

The cash inflow from sales of all investments, including securities and other assets, having ready marketability and intended by management to be liquidated, if necessary, within the current operating cycle. Includes cash flows from securities classified as trading securities that were acquired for reasons other than sale in the short-term.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=118932676&loc=d3e3179-108585

+ Details

Name:	us-gaap_ProceedsFromSaleOfShortTermInvestments
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: