Revenue, Deferred Revenue and Remaining Performance Obligations - Performance Obligations (Details) $ in Millions |
Jul. 31, 2020
USD ($)
|
|---|---|
| Revenue from Contract with Customer [Abstract] | |
| Transaction price allocated to remaining performance obligations | $ 925.5 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-08-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligation, percentage | 72.00% |
| Remaining performance obligation, period | 12 months |