Revenue and segment information - Narrative (Details) $ in Millions	12 Months Ended
Jul. 31, 2024 USD ($) segment	Jul. 31, 2023 USD ($)
Segment Reporting Information [Line Items]
Number of reportable segments \| segment	2
United States
Segment Reporting Information [Line Items]
Long lived assets \| $	$ 1,699	$ 1,545

Number of segments reported by the entity. A reportable segment is a component of an entity for which there is an accounting requirement to report separate financial information on that component in the entity's financial statements.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 47
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482785/280-10-55-47

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 54
-Subparagraph (e)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482785/280-10-55-54

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 18
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-18

Name:	us-gaap_NumberOfReportableSegments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	duration