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, 2022	Jul. 31, 2021	Jul. 31, 2020
Operating Loss Carryforwards [Line Items]
Income before income taxes	$ 2,542	$ 2,556	$ 2,198
Statutory federal income tax	534	537	462
State income tax, net of federal benefit	87	87	25
Federal research and experimentation credits	(94)	(70)	(54)
Share-based compensation	54	38	22
Federal excess tax benefits related to share-based compensation	134	126	90
Effects of non-U.S. operations	4	4	13
Other, net	3	3	(17)
Total provision for income taxes	476	494	372
Domestic Country
Operating Loss Carryforwards [Line Items]
Federal excess tax benefits related to share-based compensation	$ (112)	$ (105)	$ (79)

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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 12
-URI https://asc.fasb.org/extlink&oid=121826272&loc=d3e32687-109319

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 740
-Section 35
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=126970579&loc=d3e23163-113944

+ 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 32
-Subparagraph (c)
-URI https://asc.fasb.org/extlink&oid=126901519&loc=d3e8933-108599

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 30
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126901519&loc=d3e8906-108599

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 32
-Subparagraph (f)
-URI https://asc.fasb.org/extlink&oid=126901519&loc=d3e8933-108599

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 940
-SubTopic 20
-Section 25
-Paragraph 1
-URI https://asc.fasb.org/extlink&oid=126941158&loc=d3e41242-110953

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 22
-URI https://asc.fasb.org/extlink&oid=126901519&loc=d3e8736-108599

Reference 6: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(10))
-URI https://asc.fasb.org/extlink&oid=126953954&loc=SL114868664-224227

Reference 7: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(8))
-URI https://asc.fasb.org/extlink&oid=120400993&loc=SL114874131-224263

Reference 8: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 235
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-05(b)(2))
-URI https://asc.fasb.org/extlink&oid=120399901&loc=d3e537907-122884

Reference 9: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 31
-URI https://asc.fasb.org/extlink&oid=126901519&loc=d3e8924-108599

Reference 10: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04(15))
-URI https://asc.fasb.org/extlink&oid=120399700&loc=SL114874048-224260

+ 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SAB TOPIC 6.I.7)
-URI https://asc.fasb.org/extlink&oid=122134291&loc=d3e330036-122817

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 10
-URI https://asc.fasb.org/extlink&oid=121826272&loc=d3e32672-109319

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 22
-Subparagraph (h)
-URI https://asc.fasb.org/extlink&oid=126901519&loc=d3e8736-108599

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

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 250
-SubTopic 10
-Section 50
-Paragraph 9
-URI https://asc.fasb.org/extlink&oid=124431687&loc=d3e22663-107794

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 20
-Section 45
-Paragraph 2
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=123586238&loc=d3e38679-109324

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(9))
-URI https://asc.fasb.org/extlink&oid=120400993&loc=SL114874131-224263

Reference 8: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 250
-SubTopic 10
-Section 50
-Paragraph 8
-URI https://asc.fasb.org/extlink&oid=124431687&loc=d3e22658-107794

+ 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 12
-URI https://asc.fasb.org/extlink&oid=121826272&loc=d3e32687-109319

+ 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

- Details

Name:	us-gaap_IncomeTaxAuthorityNameAxis=us-gaap_DomesticCountryMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: