Revenue Recognition - Remaining Performance Obligations (Details) $ in Millions	Jul. 31, 2025 USD ($)
Disaggregation of Revenue [Line Items]
Remaining performance obligations	$ 1,208.7
Billed Consideration
Disaggregation of Revenue [Line Items]
Remaining performance obligations	611.3
Unbilled Consideration
Disaggregation of Revenue [Line Items]
Remaining performance obligations	$ 597.4
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2025-08-01
Disaggregation of Revenue [Line Items]
Remaining performance obligations, percentage	65.00%
Remaining performance obligations, period	12 months