v3.26.1
Leases - Narrative (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jul. 31, 2026
Jul. 31, 2025
Jul. 31, 2026
Jul. 31, 2025
Leases [Abstract]        
Operating lease, cost $ 2.8 $ 2.5 $ 5.0 $ 4.9
Operating lease, payments 2.2 2.7 4.4 5.4
Right-of-use assets obtained $ 11.5 $ 0.3 $ 38.1 $ 0.3