Other Liabilities and Commitments - Annual minimum commitments under purchase obligations (Details) $ in Millions	Jul. 31, 2025 USD ($)
Commitments and Contingencies Disclosure [Abstract]
2026	$ 808
2027	725
2028	881
2029	682
2030	616
Thereafter	1,180
Total commitments	$ 4,892

No definition available.

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

- Definition

Minimum amount of purchase arrangement in which the entity has agreed to expend funds to procure goods or services from a supplier.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 942
-SubTopic 235
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477314/942-235-S99-2

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S50
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480738/235-10-S50-4

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 235
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04(a))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480678/235-10-S99-3

+ Details

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

- Definition

Amount of purchase arrangement to be paid after fifth fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of purchase arrangement to be paid in fifth fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of purchase arrangement to be paid in fourth fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of purchase arrangement to be paid in next fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of purchase arrangement to be paid in second fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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

- Definition

Amount of purchase arrangement to be paid in third fiscal year following current fiscal year. Includes, but is not limited to, recorded and unrecorded purchase obligations, long-term purchase commitment, and short-term purchase commitment. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

+ Details

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