Income Taxes - Differences between income taxes calculated using the federal statutory income tax rate and the provision for income taxes from continuing operations (Details) - USD ($) $ in Millions	12 Months Ended
Jul. 31, 2023	Jul. 31, 2022	Jul. 31, 2021
Operating Loss Carryforwards [Line Items]
Income before income taxes	$ 2,989	$ 2,542	$ 2,556
Statutory federal income tax	628	534	537
State income tax, net of federal benefit	86	87	87
Federal research and experimentation credits	(106)	(94)	(70)
Share-based compensation	58	45	32
Excess tax benefits related to share-based compensation	(32)	(134)	(126)
Effects of non-U.S. operations	(28)	4	4
Other, net	(7)	12	9
Total provision for income taxes	$ 605	$ 476	$ 494

Amount of difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying domestic federal statutory income tax rate to pretax income (loss) from continuing operation, attributable to expense for award under share-based payment arrangement. Excludes expense determined to be nondeductible upon grant or after for award under share-based payment arrangement.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 12
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482685/740-10-50-12

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Name Accounting Standards Codification
-Section 35
-Paragraph 2
-SubTopic 740
-Topic 718
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480887/718-740-35-2

+ Details

Name:	us-gaap_EffectiveIncomeTaxRateReconciliationShareBasedCompensationExcessTaxBenefitAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

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

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 944
-SubTopic 220
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(11))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483586/944-220-S99-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482810/280-10-50-22

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 30
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482810/280-10-50-30

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482810/280-10-50-32

Reference 5: http://www.xbrl.org/2003/role/exampleRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 31
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482810/280-10-50-31

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482810/280-10-50-32

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 235
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-05(b)(2))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479557/942-235-S99-1

Reference 8: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 25
-Paragraph 1
-SubTopic 20
-Topic 940
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481913/940-20-25-1

Reference 9: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(10))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483621/220-10-S99-2

Reference 10: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 942
-SubTopic 220
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04(15))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483589/942-220-S99-1

+ Details

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

- Definition

Amount of current income tax expense (benefit) and deferred income tax expense (benefit) pertaining to continuing operations.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 250
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483443/250-10-50-8

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 250
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483443/250-10-50-9

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 10
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482685/740-10-50-10

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SAB TOPIC 6.I.7)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479360/740-10-S99-1

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Subparagraph (h)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482810/280-10-50-22

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 944
-SubTopic 220
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(9))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483586/944-220-S99-1

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Subparagraph (a)
-SubTopic 20
-Topic 740
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482659/740-20-45-2

Reference 8: http://www.xbrl.org/2003/role/disclosureRef
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.4-08(h))
-SubTopic 10
-Topic 235
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480678/235-10-S99-1

+ Details

Name:	us-gaap_IncomeTaxExpenseBenefit
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of the difference between reported income tax expense (benefit) and expected income tax expense (benefit) computed by applying the domestic federal statutory income tax rates to pretax income (loss) from continuing operations attributable to foreign income tax expense (benefit).

+ References

+ Details

Name:	us-gaap_IncomeTaxReconciliationForeignIncomeTaxRateDifferential
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

The amount of income tax expense or benefit for the period computed by applying the domestic federal statutory tax rates to pretax income from continuing operations.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 12
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482685/740-10-50-12

+ Details

Name:	us-gaap_IncomeTaxReconciliationIncomeTaxExpenseBenefitAtFederalStatutoryIncomeTaxRate
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of reported income tax expense (benefit) in excess of (less than) expected income tax expense (benefit) computed by applying domestic federal statutory income tax rate to pretax income (loss) from continuing operation, attributable to nondeductible expense for award under share-based payment arrangement. Includes, but is not limited to, expense determined to be nondeductible upon grant or after for award under share-based payment arrangement.

+ References

+ Details

Name:	us-gaap_IncomeTaxReconciliationNondeductibleExpenseShareBasedCompensationCost
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

+ References

+ Details

Name:	us-gaap_IncomeTaxReconciliationOtherAdjustments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

+ References

+ Details

Name:	us-gaap_IncomeTaxReconciliationStateAndLocalIncomeTaxes
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

+ References

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

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