Leases - Schedule of Weighted-Average Remaining Lease Terms and Discount Rates (Details)	Jul. 31, 2025
Leases [Abstract]
Operating leases, Weighted-Average Remaining Lease Term (in years)	8 years 6 months 7 days
Operating leases, Weighted Average Discount Rate (as a percent)	4.29%
Finance leases, Weighted Average Remaining Lease Term (in years)	30 years 4 months 6 days
Finance leases, Weighted Average Discount Rate (as a percent)	4.48%