Marketable Securities (Contractual maturity) (Details) - USD ($) $ in Millions	Jun. 30, 2018	Dec. 31, 2017
Marketable securities by contractual maturity
Due in one year or less	$ 382
Due after one year through five years	15
Due after five years through ten years	14
Total marketable securities	$ 411	$ 1,103

Total debt and equity financial instruments including: (1) securities held-to-maturity, (2) trading securities, and (3) securities available-for-sale.

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

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

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03.4)
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

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