v3.20.1

Leases​ (Details) - USD ($) $ in Millions	3 Months Ended
	Mar. 31, 2020	Mar. 31, 2019	Dec. 31, 2019
Leases [Abstract]
Lease cost	$ 15	$ 16
Right-of-use asset obtained in exchange for operating lease liability	$ 9
Weighted-average remaining lease term	6 years 3 months 18 days		6 years 8 months 12 days
Weighted-average discount rate	5.90%		6.00%
Operating Lease Obligation
2020	$ 30		$ 38
2021	32		29
2022	25		22
2023	18		17
2024	14		14
Thereafter	37		38
Total lease payments	156		158
Less: imputed interest	28		29
Present value of lease liabilities	$ 128		$ 129

X

- Definition

Amount of lease cost recognized by lessee for lease contract.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

+ Details

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

X

- References

No definition available.

+ Details

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

X

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease.

+ References

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

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease, due after fifth fiscal year following latest fiscal year.

+ References

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

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueAfterYearFive
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease, due in fifth fiscal year following latest fiscal year.

+ References

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

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearFive
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease, due in fourth fiscal year following latest fiscal year.

+ References

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

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearFour
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease, due in third fiscal year following latest fiscal year.

+ References

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

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearThree
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease, due in second fiscal year following latest fiscal year.

+ References

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

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsDueYearTwo
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease having an initial or remaining lease term in excess of one year due in remainder of fiscal year following latest fiscal year.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918701-209980

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityPaymentsRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of lessee's undiscounted obligation for lease payments in excess of discounted obligation for lease payments for operating lease.

+ References

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

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityUndiscountedExcessAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- References

No definition available.

+ Details

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

X

- Definition

Present value of lessee's discounted obligation for lease payments from operating lease.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 45
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918627-209977

+ Details

Name:	us-gaap_OperatingLeaseLiability
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Weighted average discount rate for operating lease calculated at point in time.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(4)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

+ Details

Name:	us-gaap_OperatingLeaseWeightedAverageDiscountRatePercent
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

X

- Definition

Weighted average remaining lease term for operating 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/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(3)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

+ Details

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

X

- Definition

Amount of increase in right-of-use asset obtained in exchange for operating lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(2)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

+ Details

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