Leases - Schedule of lease terms and rates (Details) |
Apr. 30, 2023 |
May 01, 2022 |
|---|---|---|
| Leases [Abstract] | ||
| Operating leases, weighted average remaining lease term (in years) | 7 years 6 months | 7 years 2 months 12 days |
| Operating leases, weighted average discount rate | 4.42% | 3.97% |
| 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
|