v3.24.2.u1
Leases (Details 1) - USD ($)
$ in Millions
3 Months Ended
Jul. 31, 2024
Jul. 31, 2023
Leases [Abstract]    
Operating lease cost $ 12.5 $ 12.7
Finance lease cost:    
Amortization of right-of-use assets 0.8 0.3
Interest on lease liabilities 0.2 0.1
Variable lease cost 6.5 6.1
Short-term lease cost 11.2 9.4
Total lease cost [1] $ 31.2 $ 28.6
[1] Total lease cost does not include sublease income which is immaterial for all years presented.