Marketable Securities (Contractual maturity) (Details) - USD ($) $ in Millions	Jun. 30, 2017	Dec. 31, 2016
Marketable securities by contractual maturity
Due in one year or less	$ 104
Due after one year through five years	49
Due after five years through ten years	4
Total marketable securities	$ 157	$ 297

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

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