Leases (Details 3) - USD ($) $ in Millions	Jan. 31, 2023	Apr. 30, 2022
Operating Lease Liabilities, Payments Due [Abstract]
2023 (remainder of the year)	$ 10.3
2024	32.5
2025	23.1
2026	19.9
2027	6.0
2028 and beyond	2.6
Total undiscounted minimum lease payments	94.4
Less: Imputed interest	3.7
Total operating lease liabilities	90.7	$ 116.3
Finance Lease Liabilities, Payments, Due [Abstract]
2023 (remainder of the year)	0.4
2024	1.5
2025	1.0
2026	0.7
2027	0.4
2028 and beyond	0.1
Total undiscounted minimum lease payments	4.1
Less: Imputed interest	0.2
Total finance lease liabilities	$ 3.9	$ 3.9