XML 57 R48.htm IDEA: XBRL DOCUMENT v3.23.2
Leases - Narrative (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2023
Jul. 31, 2022
Jul. 31, 2023
Jul. 31, 2022
Lessee, Lease, Description        
Operating lease cost $ 0.7 $ 0.8 $ 1.5 $ 1.4
Variable lease cost 0.2 0.2 0.3 0.4
Short-term lease cost $ 0.0 $ 0.0 $ 0.0 $ 0.0
Maximum        
Lessee, Lease, Description        
Lease term (up to) (in years) 3 years   3 years