XML 50 R39.htm IDEA: XBRL DOCUMENT v3.21.2
Leases - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Oct. 31, 2021
Oct. 31, 2020
Oct. 31, 2021
Oct. 31, 2020
Selling, general and administrative expenses        
Lease, Cost [Abstract]        
Lease costs $ 14.0 $ 18.7 $ 41.1 $ 77.1