XML 65 R43.htm IDEA: XBRL DOCUMENT v3.20.2
Leases - Leases on the Consolidated Condensed Balance Sheet (Details)
$ in Millions
Oct. 31, 2020
USD ($)
Operating Leases  
Operating lease right-of-use assets $ 260.2
Operating lease liabilities, current 33.3
Operating lease liabilities, non-current 236.8
Total operating lease liabilities $ 270.1
Weighted average remaining lease term (in years) 11 years 3 months 18 days
Weighted average discount rate 3.00%