Income Taxes - Unrecognized tax benefits (Details) - USD ($) $ in Millions	12 Months Ended
Jul. 31, 2025	Jul. 31, 2024	Jul. 31, 2023
Unrecognized Tax Benefits [Roll Forward]
Gross unrecognized tax benefits, beginning balance	$ 327	$ 246	$ 216
Increases related to tax positions from prior fiscal years, including acquisitions	11	36	11
Decreases related to tax positions from prior fiscal years	(21)	(12)	(16)
Increases related to tax positions taken during current fiscal year	91	95	38
Settlements with tax authorities	(2)	(1)	(2)
Lapse of statute of limitations	(12)	(37)	(1)
Gross unrecognized tax benefits, ending balance	$ 394	$ 327	$ 246

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

No definition available.

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

- Definition

Amount of unrecognized tax benefits.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 217
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482663/740-10-55-217

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 15A
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482685/740-10-50-15A

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

+ Details

Name:	us-gaap_UnrecognizedTaxBenefits
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of decrease in unrecognized tax benefits resulting from tax positions taken in prior period tax returns.

+ References

+ Details

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

- Definition

Amount of decrease in unrecognized tax benefits resulting from settlements with taxing authorities.

+ References

+ Details

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

- Definition

Amount of increase in unrecognized tax benefits resulting from tax positions that have been or will be taken in current period tax return.

+ References

+ Details

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

- Definition

Amount of increase in unrecognized tax benefits resulting from tax positions taken in prior period tax returns.

+ References

+ Details

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

- Definition

Amount of decrease in unrecognized tax benefits resulting from lapses of applicable statutes of limitations.

+ References

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

+ Details

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