XML 61 R51.htm IDEA: XBRL DOCUMENT v3.23.1
Leases - Additional Information (Detail) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2023
Apr. 30, 2022
Lessee Lease Description [Line Items]    
Operating lease expense $ 0.9 $ 0.9
Weighted-average remaining lease term - operating leases 2 years 4 months 20 days  
Weighted-average discount rate - operating leases 3.59%