Related party transactions (Details) - USD ($) $ in Millions	12 Months Ended
Jul. 31, 2025	Jul. 31, 2024	Jul. 31, 2023
Non-Employee Directors
Related Party Transaction [Line Items]
Purchases from related party	$ 0	$ 8	$ 27

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.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 310
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 13
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481990/310-10-45-13

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 946
-SubTopic 220
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.6-07(2)(c)(2)(i))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479134/946-220-S99-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 946
-SubTopic 220
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.6-07(2)(c)(2)(ii))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479134/946-220-S99-1

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 946
-SubTopic 220
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.6-07(2)(g)(3))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479134/946-220-S99-1

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