Leases (Details 2) - USD ($) $ in Millions	9 Months Ended
	Jan. 31, 2023	Jan. 31, 2022
Leases [Abstract]
Operating cash flows from operating leases	$ 33.2	$ 33.7
Operating cash flows from finance leases	0.1	0.1
Financing cash flows from finance leases	1.3	1.7
Right-of-use asset obtained in exchange for operating lease liabilities	7.2	2.9
Right-of-use asset obtained in exchange for finance lease liabilities	$ 1.5	$ 1.2