Fair Value Measurements (Details 2) (USD $) In Millions, unless otherwise specified	6 Months Ended
Jan. 31, 2013
Reconciliation of activity for Level 3 assets
Beginning balance	$ 41
Settlements at par	(8)
Ending balance	$ 33

This element represents an asset measured at fair value using significant unobservable inputs (Level 3) which is required for reconciliation purposes of beginning and ending balances.

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 820

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (c)

-URI http://asc.fasb.org/extlink&oid=7578670&loc=d3e19207-110258

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 157

-Paragraph 32

-Subparagraph c

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

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