v3.25.2
Leases - Narrative (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Jul. 31, 2025
Jul. 31, 2024
Leases [Abstract]        
Operating lease, cost $ 2.5 $ 2.4 $ 4.9 $ 4.7
Operating lease, payments 2.7 2.6 $ 5.4 5.0
Right-of-use assets obtained $ 0.3 $ 2.7   $ 3.1