Leases - Leases on the Consolidated Condensed Balance Sheet (Details) $ in Millions	Apr. 30, 2020 USD ($)
Operating Leases
Operating lease right-of-use assets	$ 255.5
Operating lease liabilities, current	31.5
Operating lease liabilities, non-current	232.7
Total operating lease liabilities	$ 264.2
Operating lease, weighted average remaining lease term	11 years 7 months 6 days
Operating lease, weighted average discount rate	3.00%