Financial Instruments (Available-for-Sale Marketable Securities) (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2017	Dec. 31, 2016	Dec. 31, 2015
Investments, Debt and Equity Securities [Abstract]
Total Available-for-sale Securities	$ 0	$ 0
Proceeds from sales and maturities of securities	0	663	$ 49
Gross realized gains	$ 0	$ 54	$ 4

Amount of investment in debt and equity securities categorized neither as held-to-maturity nor trading.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 25
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=75030427&loc=d3e22054-111558

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5
-Subparagraph (aa)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27232-111563

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=82896770&loc=d3e26610-111562

+ Details

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

- Definition

This item represents the gross profit realized on the sale of debt or equity securities categorized neither as held-to-maturity nor trading securities.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 9
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27357-111563

+ Details

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

- References

No definition available.

+ Details

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

- Definition

The cash inflow associated with the sale or maturity (principal being due) of securities not classified as either held-to-maturity securities or trading securities which are classified as available-for-sale securities.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a),(b)
-URI http://asc.fasb.org/extlink&oid=98514028&loc=d3e3179-108585

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=82896770&loc=d3e26853-111562

+ Details

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