XML 75 R65.htm IDEA: XBRL DOCUMENT v3.20.2
Leases (Maturities of Lease Liabilities) (Details)
$ in Millions
Jul. 31, 2020
USD ($)
Leases [Abstract]  
2021 (remainder) $ 29.9
2022 89.3
2023 88.6
2024 73.8
2025 54.1
Thereafter 171.4
Total lease payments 507.1
Less imputed interest (60.0)
Present value of operating lease liabilities $ 447.1