Leases - Schedule of lease terms and rates (Details) |
Jul. 30, 2023 |
Jul. 31, 2022 |
|---|---|---|
| Leases [Abstract] | ||
| Operating leases, weighted average remaining lease term (in years) | 7 years 7 months 6 days | 7 years 3 months 18 days |
| Operating leases, weighted average discount rate | 4.55% | 4.01% |
| 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
|