Deferred Revenue and Remaining Performance Obligations - Additional Information (Details) $ in Millions	Oct. 31, 2023 USD ($)
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Remaining performance obligation	$ 164.4
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2023-11-01
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Remaining performance obligation	$ 111.8
Revenue expected to be recognized from remaining performance obligations, period (in months)	12 months