XML 24 R30.htm IDEA: XBRL DOCUMENT v3.19.2
Leases - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2019
Jul. 31, 2019
Selling, general and administrative expenses    
Lease, Cost [Abstract]    
Lease costs $ 24.9 $ 49.9