XML 87 R77.htm IDEA: XBRL DOCUMENT v3.25.0.1
Leases (Details 4)
Jan. 31, 2025
Apr. 30, 2024
Leases [Abstract]    
Operating leases, Weighted average remaining lease term 6 years 1 month 6 days 6 years 2 months 12 days
Finance leases, Weighted average remaining lease term 3 years 9 months 18 days 4 years 3 months 18 days
Operating leases, Weighted average discount rate 4.60% 4.30%
Finance leases, Weighted average discount rate 5.00% 4.80%