Income Taxes - Sources of income from continuing operations (Details) - USD ($) $ in Millions	12 Months Ended
Jul. 31, 2017	Jul. 31, 2016	Jul. 31, 2015
Income Tax Disclosure [Abstract]
United States	$ 1,362	$ 1,205	$ 716
Foreign	5	(2)	(4)
Income from continuing operations before income taxes	$ 1,367	$ 1,203	$ 712

The portion of earnings or loss from continuing operations before income taxes that is attributable to domestic operations.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.4-08.(h)(1)(i))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

+ Details

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

- Definition

The portion of earnings or loss from continuing operations before income taxes that is attributable to foreign operations, which is defined as Income or Loss generated from operations located outside the entity's country of domicile.

+ References

+ Details

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

- Definition

Amount of income (loss) from continuing operations before deduction of income tax expense (benefit) and income (loss) attributable to noncontrolling interest, and addition of income (loss) from equity method investments.

+ References

+ Details

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

- References

No definition available.

+ Details

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