XML 53 R30.htm IDEA: XBRL DOCUMENT v3.19.3
Leases - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Oct. 31, 2019
Oct. 31, 2019
Selling, general and administrative expenses    
Lease, Cost [Abstract]    
Lease costs $ 24.4 $ 74.3