Leases - Schedule of Weighted-Average Remaining Lease Terms and Discount Rates (Details) |
Jul. 31, 2026 |
|---|---|
| Leases [Abstract] | |
| Operating leases, Weighted-Average Remaining Lease Term (in years) | 9 years 6 months 10 days |
| Operating leases, Weighted Average Discount Rate (as a percent) | 4.48% |
| Finance leases, Weighted Average Remaining Lease Term (in years) | 29 years 5 months 19 days |
| Finance leases, Weighted Average Discount Rate (as a percent) | 4.47% |
| X | ||||||||||
- Definition Weighted average discount rate for finance lease calculated at point in time. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Weighted average remaining lease term for finance 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
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Weighted average discount rate for operating lease calculated at point in time. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition 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
|