Leases (Details 1) - USD ($) $ in Millions		3 Months Ended		9 Months Ended
		Jan. 31, 2025	Jan. 31, 2024	Jan. 31, 2025	Jan. 31, 2024
Leases [Abstract]
Operating lease cost		$ 11.0	$ 13.1	$ 35.5	$ 37.0
Finance lease cost:
Amortization of right-of-use assets		0.9	0.7	2.5	2.7
Interest on lease liabilities		0.2	0.1	0.5	0.4
Variable lease cost		3.9	6.4	16.2	17.6
Short-term lease cost		9.4	11.8	33.3	32.4
Total lease cost	[1]	$ 25.4	$ 32.1	$ 88.0	$ 90.1

[1] Total lease cost does not include sublease income which is immaterial for all years presented.