Deferred Revenue and Performance Obligations - Narrative (Details) $ in Millions |
Oct. 31, 2022
USD ($)
|
|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligations | $ 462.4 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-11-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligations | $ 262.4 |
| Revenue, remaining performance obligation, period | 12 months |