Revenues - Lease Revenue (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2020	Sep. 30, 2019	Sep. 30, 2020	Sep. 30, 2019
Revenue from Contract with Customer [Abstract]
Sales-type lease revenue	$ 11	$ 3	$ 27	$ 14
Operating lease revenue	16	16	44	46
Variable lease revenue	19	23	57	65
Total lease revenue	$ 46	$ 42	$ 128	$ 125

Amount of lease income from operating, direct financing, and sales-type leases. Includes, but is not limited to, variable lease payments, interest income, profit (loss) recognized at commencement, and lease payments paid and payable to lessor.

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

- Definition

Amount of operating lease income from lease payments and variable lease payments paid and payable to lessor. Includes, but is not limited to, variable lease payments not included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 5
-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 842
-SubTopic 30
-Section 45
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=121561866&loc=SL77919311-209978

Reference 3: 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_OperatingLeaseLeaseIncome
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

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

- Definition

Amount of sales-type lease revenue.

+ 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_SalesTypeLeaseRevenue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of variable lease payments from operating, direct financing, and sales-type leases, excluding amount included in measurement of lease receivable.

+ References

+ Details

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