Leases - Additional Information (Detail) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Oct. 31, 2023	Oct. 31, 2022	Oct. 31, 2023	Oct. 31, 2022
Lessee Lease Description [Line Items]
Operating lease expense	$ 1.0	$ 1.0	$ 2.8	$ 2.8
Weighted-average remaining lease term - operating leases	1 year 11 months 12 days		1 year 11 months 12 days
Weighted-average discount rate - operating leases	3.62%		3.62%