Leases (Details 2) - USD ($) $ in Millions	3 Months Ended
	Jul. 31, 2025	Jul. 31, 2024
Leases [Abstract]
Operating cash flows from operating leases	$ 12.3	$ 12.3
Operating cash flows from finance leases	0.2	0.1
Financing cash flows from finance leases	1.1	1.1
Right-of-use asset obtained in exchange for operating lease liabilities	15.7	1.1
Right-of-use asset obtained in exchange for finance lease liabilities	$ 0.1	$ 2.5