XML 55 R46.htm IDEA: XBRL DOCUMENT v3.23.2
Deferred Revenue and Remaining Performance Obligations - Additional Information (Details)
$ in Millions
Jul. 31, 2023
USD ($)
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Remaining performance obligation $ 170.6
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2023-08-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Remaining performance obligation $ 114.4
Revenue expected to be recognized from remaining performance obligations, period (in months) 12 months