Summary of significant accounting policies - Cash and Cash Equivalents (Details) - USD ($) $ in Millions	Oct. 31, 2025	Jul. 31, 2025
Accounting Policies [Abstract]
Cash and cash equivalents	$ 526	$ 674
Restricted cash	29	33
Total cash, cash equivalents and restricted cash	$ 555	$ 707

Amount of cash and cash equivalents, and cash and cash equivalents restricted to withdrawal or usage. Excludes amount for disposal group and discontinued operations. Cash includes, but is not limited to, currency on hand, demand deposits with banks or financial institutions, and other accounts with general characteristics of demand deposits. Cash equivalents include, but are not limited to, short-term, highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates.

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

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 24
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482740/230-10-45-24

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482740/230-10-45-4

Name:	us-gaap_CashCashEquivalentsRestrictedCashAndRestrictedCashEquivalents
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant