XML 81 R35.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases - Leases on the Consolidated Condensed Balance Sheet (Details)
$ in Millions
Jan. 31, 2020
USD ($)
Operating Leases  
Operating lease right-of-use assets $ 264.0
Operating lease liabilities, current 31.5
Operating lease liabilities, non-current 241.2
Total operating lease liabilities $ 272.7