Investments - Proceeds from available-for-sale securities (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2020	Mar. 31, 2019
Investments, Debt and Equity Securities [Abstract]
Gross proceeds from sales	$ 40	$ 14
Gross proceeds from maturities	27	17
Total	$ 67	$ 31

Amount of realized gain (loss) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 9
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=118939692&loc=d3e27357-111563

+ Details

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

- Definition

Amount of realized gain (loss) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), investment in debt security measured at amortized cost (held-to-maturity) and investment in debt security measured at fair value with change in fair value recognized in net income (trading).

+ References

No definition available.

+ Details

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

- Definition

Amount of gain (loss) on sale of investment in debt security measured at amortized cost (held-to-maturity), including other-than-temporary impairment (OTTI).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 10
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=118939692&loc=d3e27405-111563

+ Details

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

- References

No definition available.

+ Details

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