Leases (Details 3) - USD ($) $ in Millions	Apr. 30, 2025	Apr. 30, 2024
Lessee, Operating Lease, Liability, Payment, Due [Abstract]
2026	$ 41.9
2027	22.1
2028	12.9
2029	11.3
2030	10.7
2031 and beyond	43.2
Total undiscounted minimum lease payments	142.1
Less: Imputed interest	20.5
Lease liabilities	121.6	$ 184.0
Finance Lease, Liability, Payment, Due [Abstract]
2026	3.8
2027	3.5
2028	3.3
2029	1.9
2030	0.7
2031 and beyond	0.6
Total undiscounted minimum lease payments	13.8
Less: Imputed interest	1.3
Total finance lease liabilities	$ 12.5	$ 11.1