Revenue Recognition - Remaining Performance Obligations (Details) $ in Millions	Jan. 31, 2024 USD ($)
Disaggregation of Revenue [Line Items]
Remaining performance obligations	$ 1,159.9
Billed Consideration
Disaggregation of Revenue [Line Items]
Remaining performance obligations	647.8
Unbilled Consideration
Disaggregation of Revenue [Line Items]
Remaining performance obligations	$ 512.1
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2024-02-01
Disaggregation of Revenue [Line Items]
Remaining performance obligations, percentage	61.00%
Remaining performance obligations, period	12 months