XML 71 R54.htm IDEA: XBRL DOCUMENT v3.25.1
Leases - Narrative (Details)
$ in Millions
9 Months Ended
Apr. 30, 2025
USD ($)
option_to_extend
Lessee, Lease, Description [Line Items]  
Number of options to extend | option_to_extend 1
Option to extend operating leases 10 years
Option to extend sublease 5 years
Operating Lease, Lease Not yet Commenced  
Lessee, Lease, Description [Line Items]  
Leases not yet commenced | $ $ 138
Maximum  
Lessee, Lease, Description [Line Items]  
Operating lease terms 17 years
Operating sublease terms 6 years
Term for leases not yet commenced 10 years
Minimum  
Lessee, Lease, Description [Line Items]  
Term for leases not yet commenced 6 years