Leases - Other lease information (Details)	Jul. 31, 2025	Jul. 31, 2024	Jul. 31, 2023
Leases [Abstract]
Weighted-average remaining lease term for operating leases	8 years 1 month 6 days	7 years 8 months 12 days	7 years 10 months 24 days
Weighted-average discount rate for operating leases	3.80%	3.30%	3.00%

Weighted average remaining lease term for operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 55
-Paragraph 53
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479589/842-20-55-53

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (g)(3)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478964/842-20-50-4

Name:	us-gaap_OperatingLeaseWeightedAverageRemainingLeaseTerm1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant