Marketable Securities (Available-for-sale Debt Securities by Contractual Maturity) (Details) $ in Millions	Sep. 30, 2017 USD ($)
Investments, Debt and Equity Securities [Abstract]
Due in one year or less	$ 493
Due after one year through three years	493
Estimated Fair Value	$ 986

Amount of debt 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=65884222&loc=d3e22054-111558

Reference 2: 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=66010992&loc=d3e26610-111562

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

Reference 4: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 2
-Subparagraph (b)-(g)
-URI http://asc.fasb.org/extlink&oid=6957658&loc=d3e62557-112803

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