Unearned Revenue and Performance Obligations - Transaction Price Allocated to the Remaining Performance Obligations (Details) - Subscription services $ in Billions |
Jul. 31, 2023
USD ($)
|
|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Revenue is expected to be recognized from remaining performance obligations for subscription contracts | $ 17.8 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-08-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Revenue is expected to be recognized from remaining performance obligations for subscription contracts | $ 10.3 |
| Recognition period (in months) | 24 months |