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