Leases (Details 3) - USD ($) $ in Millions	Jul. 31, 2022	Apr. 30, 2022
Operating Lease Liabilities, Payments Due [Abstract]
2023 (remainder of the year)	$ 31.9
2024	31.3
2025	21.8
2026	18.9
2027	5.4
2028 and beyond	2.7
Total undiscounted minimum lease payments	112.0
Less: Imputed interest	4.5
Total operating lease liabilities	107.5	$ 116.3
Finance Lease Liabilities, Payments, Due [Abstract]
2023 (remainder of the year)	1.1
2024	1.3
2025	1.0
2026	0.6
2027	0.3
2028 and beyond	0.1
Total undiscounted minimum lease payments	4.4
Less: Imputed interest	0.2
Total finance lease liabilities	$ 4.2	$ 3.9