Revenue - Remaining Performance Obligations (Details) - USD ($) $ in Millions	Jan. 31, 2026	Jan. 31, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation, amount	$ 513.3	$ 490.1
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-02-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation, amount	$ 452.4
Revenue, remaining performance obligation, expected timing of satisfaction, period	24 months