Leases (Details 4)	Jan. 31, 2023	Apr. 30, 2022
Leases [Abstract]
Operating leases, Weighted average remaining lease term	3 years 2 months 12 days	3 years 7 months 6 days
Finance leases, Weighted average remaining lease term	3 years 2 months 12 days	3 years 3 months 18 days
Operating leases, Weighted average discount rate	2.60%	2.50%
Finance leases, Weighted average discount rate	2.40%	2.10%