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