Leases - Leases on the Consolidated Condensed Balance Sheet (Details) $ in Millions	Jul. 31, 2020 USD ($)
Operating Leases
Operating lease right-of-use assets	$ 258.9
Operating lease liabilities, current	32.3
Operating lease liabilities, non-current	236.6
Total operating lease liabilities	$ 268.9
Operating lease, weighted average remaining lease term	11 years 3 months 18 days
Operating lease, weighted average discount rate	3.00%