XML 49 R38.htm IDEA: XBRL DOCUMENT v3.21.2
Leases - Lease cost (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2021
Jul. 31, 2020
Jul. 31, 2021
Jul. 31, 2020
Lease, Cost [Abstract]        
Deferred lease payments $ 1.0   $ 1.0  
Selling, general and administrative expenses        
Lease, Cost [Abstract]        
Lease costs $ 13.5 $ 36.0 $ 27.1 $ 58.4