Leases (Details 1) - USD ($) $ in Millions		3 Months Ended
		Jul. 31, 2023	Jul. 31, 2022
Leases [Abstract]
Operating lease cost		$ 12.7	$ 10.5
Finance lease cost:
Amortization of right-of-use assets		0.3	0.4
Interest on lease liabilities		0.1	0.0
Variable lease cost		6.1	6.1
Short-term lease cost		9.4	11.8
Net lease cost	[1]	$ 28.6	$ 28.8

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