Leases (Details 3) $ in Millions	Apr. 30, 2020 USD ($)
Lessee, Operating Lease, Liability, Payment, Due [Abstract]
2021	$ 40.3
2022	36.8
2023	34.2
2024	22.7
2025	14.7
2026 and beyond	19.8
Total undiscounted minimum lease payments	168.5
Less: Imputed interest	12.0
Lease liabilities	156.5
Finance Lease, Liability, Payment, Due [Abstract]
2021	2.3
2022	1.7
2023	1.0
2024	0.7
2025	0.3
2026 and beyond	0.0
Total undiscounted minimum lease payments	6.0
Less: Imputed interest	0.3
Lease liabilities	$ 5.7