v3.25.1
Leases - Additional Information (Detail) - USD ($)
$ in Millions
3 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Leases [Abstract]    
Operating lease expense $ 0.9 $ 1.0
Weighted-average remaining lease term - operating leases 2 years 1 month 13 days  
Weighted-average discount rate - operating leases 3.38%