Leasing (Sales-type and Direct Financing Leases, Lease Receivable, Maturity) (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019	Dec. 31, 2019
Leases [Abstract]
Direct financing lease, net investment in lease	$ 455		$ 455		$ 472
Direct financing lease, present value of lease payments recorded as lease receivable	442		442		459
Direct financing lease, unguaranteed residual asset	13		13		$ 13
Direct financing lease, interest income	5	$ 6	11	$ 12
2020	75		75
2021	149		149
2022	112		112
2023	78		78
2024	46		46
2025 and thereafter	31		31
Total undiscounted cash flows	491		491
Direct financing leases, lease receivable, difference between undiscounted cash flows and discounted cash flows	$ (49)		$ (49)

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=118952077&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=119202524&loc=SL77919372-209981

+ Details

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

- Definition

Present value of lease payments not yet received by lessor and amount expected to be derived from underlying asset, following end of lease term, guaranteed by lessee or other third party unrelated to lessor, from 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=119202524&loc=SL77919379-209981

+ Details

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

- Definition

Amount of net investment in direct financing lease.

+ References

+ Details

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

- Definition

Present value expected to be derived from underlying asset, following end of lease term, not guaranteed by lessee or other third party unrelated to lessor.

+ References

+ Details

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

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases.

+ References

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

+ Details

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

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in fifth fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

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

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in fourth fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

+ Details

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

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in remainder of the fiscal year following latest fiscal year. Excludes interim and annual period when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 10
-URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919391-209981

+ Details

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

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases after fifth fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

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

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in third fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

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

- Definition

Amount of undiscounted cash flows to be received by lessor for sales-type and direct financing leases in second fiscal year following latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

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

- Definition

Amount of undiscounted lease receivable in excess of discounted receivable for sales-type and direct financing leases.

+ References

+ Details

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