XML 61 R52.htm IDEA: XBRL DOCUMENT v3.23.2
Leases - Additional Information (Detail) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2023
Jul. 31, 2022
Jul. 31, 2023
Jul. 31, 2022
Lessee Lease Description [Line Items]        
Operating lease expense $ 0.9 $ 0.9 $ 1.8 $ 1.8
Weighted-average remaining lease term - operating leases 2 years 2 months 1 day   2 years 2 months 1 day  
Weighted-average discount rate - operating leases 3.61%   3.61%