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