Revenue - Remaining Performance Obligations (Details) - USD ($) $ in Millions	Oct. 31, 2025	Jan. 31, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation, amount	$ 415.6
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-11-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation, amount	$ 377.1
Revenue, remaining performance obligation, expected timing of satisfaction, period	24 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-11-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