Leases (Maturities of Lease Liabilities) (Details) $ in Millions	Jul. 31, 2019 USD ($)
Leases [Abstract]
2020 (remainder)	$ 37.5
2021	71.3
2022	67.2
2023	59.6
2024	46.3
Thereafter	74.0
Total lease payments	355.9
Less imputed interest	38.9
Present value of operating lease liabilities	$ 317.0