Leases (Details 1) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Jan. 31, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022
Leases [Abstract]
Operating lease cost	$ 10.3	$ 10.8	$ 31.1	$ 32.2
Finance lease cost:
Amortization of right-of-use assets	0.4	0.5	1.2	1.6
Interest on lease liabilities	0.1	0.0	0.1	0.1
Variable lease cost	7.2	5.9	18.9	16.9
Short-term lease cost	11.0	10.2	33.6	30.3
Sublease income	(0.3)	(0.3)	(0.9)	(0.9)
Net lease cost	$ 28.7	$ 27.1	$ 84.0	$ 80.2