Leases (Details 4)	Apr. 30, 2023	Apr. 30, 2022
Leases [Abstract]
Operating leases, Weighted average remaining lease term	4 years 9 months 18 days	3 years 7 months 6 days
Finance leases, Weighted average remaining lease term	3 years 1 month 6 days	3 years 3 months 18 days
Operating leases, Weighted average discount rate	3.30%	2.50%
Finance leases, Weighted average discount rate	2.40%	2.10%