Commitments and Contingent Liabilities (Details 4) - USD ($) $ in Millions	Dec. 31, 2019	Dec. 31, 2018
Maturities of operating lease liabilities
2020	$ 7
2021	5
2022	3
2023	3
2024	1
Thereafter	3
Total lease payments	22
Less: imputed interest	(1)
Total	$ 21
Minimum payments for operating leases having initial non-cancelable terms in excess of one year
2019		$ 8
2020		6
2021		4
2022		2
2023		2
Thereafter		2
Total		$ 24

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

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

- Definition

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

+ References

+ Details

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

- Definition

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

+ References

+ Details

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

- Definition

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

+ References

+ Details

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

- Definition

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

+ References

+ Details

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

- Definition

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

+ References

+ Details

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

- Definition

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

+ References

+ Details

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

- Definition

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

+ References

+ Details

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

- References

No definition available.

+ Details

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

- 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

- Definition

Amount of required minimum rental payments for leases having an initial or remaining non-cancelable letter-terms in excess of one year.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=77902758&loc=d3e41502-112717

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 10
-Section 55
-Paragraph 40
-Subparagraph (Note 3)
-URI http://asc.fasb.org/extlink&oid=82846649&loc=d3e38371-112697

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the next fiscal year following the 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_OperatingLeasesFutureMinimumPaymentsDueCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the fifth fiscal year following the 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_OperatingLeasesFutureMinimumPaymentsDueInFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the fourth fiscal year following the 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_OperatingLeasesFutureMinimumPaymentsDueInFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the third fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 10
-Section 55
-Paragraph 40
-Subparagraph (Note 3)
-URI http://asc.fasb.org/extlink&oid=82846649&loc=d3e38371-112697

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 2
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=77902758&loc=d3e41502-112717

+ Details

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

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due in the second fiscal year following the 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_OperatingLeasesFutureMinimumPaymentsDueInTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of required minimum rental payments for operating leases having an initial or remaining non-cancelable lease term in excess of one year due after the fifth fiscal year following the 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_OperatingLeasesFutureMinimumPaymentsDueThereafter
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant