XML 68 R52.htm IDEA: XBRL DOCUMENT v3.25.2
Leases - Narrative (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Leases [Abstract]    
Renewal term (in years) 40 years  
Cost of the leased space $ 58.8 $ 50.3
Accumulated depreciation of leased assets 6.7 4.6
Rental income $ 20.7 $ 17.6
Operating lease, lease income, statement of income or comprehensive income [extensible enumeration] Total service revenues and vehicle sales Total service revenues and vehicle sales