XML 51 R41.htm IDEA: XBRL DOCUMENT v3.22.2.2
Leases - Other information (Details) - USD ($)
$ in Millions
6 Months Ended
Jul. 31, 2022
Jul. 31, 2021
Leases [Abstract]    
Operating lease, lease not yet commenced, description As of July 31, 2022, there are no material leases that are legally binding but have not yet commenced.  
Weighted average remaining lease term 5 years 6 months  
Weighted average discount rate 8.50%  
Cash paid for amounts included in the measurement of operating lease liabilities $ 30.0 $ 29.4
Right-of-use assets obtained in exchange for lease obligations $ 69.9 $ 8.6