Leases (Details Textuals) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019	Mar. 31, 2020
Leases [Abstract]
Finance lease agreement, term (less than)	2 years		2 years
Net investment in finance lease arrangement	$ 8		$ 8
Selling profit recognized	11
Net investment in finance lease arrangement					$ 133
Interest income recognized under finance leases	$ 4	$ 1	$ 8	$ 2

Amount of interest income from net investment in direct financing lease.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 270
-SubTopic 10
-Section 50
-Paragraph 6A
-URI http://asc.fasb.org/extlink&oid=121640914&loc=SL77927221-108306

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 5
-Subparagraph (a)(2)
-URI http://asc.fasb.org/extlink&oid=121576215&loc=SL77919372-209981

+ Details

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

- Definition

Amount of net investment in direct financing lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=121576215&loc=SL77919379-209981

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Term of lessor's sales-type lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 3
-Subparagraph (a)(3)
-URI http://asc.fasb.org/extlink&oid=121576215&loc=SL77919359-209981

+ Details

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

- Definition

Amount of net investment in sales-type lease.

+ References

+ Details

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

- Definition

Amount of profit (loss) recognized at commencement from sales-type lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 5
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=121576215&loc=SL77919372-209981

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 270
-SubTopic 10
-Section 50
-Paragraph 6A
-URI http://asc.fasb.org/extlink&oid=121640914&loc=SL77927221-108306

+ Details

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