v3.25.2
Revenue - Remaining Performance Obligations (Details) - USD ($)
$ in Millions
Jul. 31, 2025
Jan. 31, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Revenue, remaining performance obligation, amount $ 445.0  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-08-01    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Revenue, remaining performance obligation, amount $ 407.2  
Revenue, remaining performance obligation, expected timing of satisfaction, period 24 months  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-08-01    
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]    
Revenue, remaining performance obligation, amount   $ 490.1
Revenue, remaining performance obligation, expected timing of satisfaction, period