Revenues - Additional Information (Details 1)	Jul. 31, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2025-08-01
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Revenue, remaining performance obligation, expected timing of satisfaction, period	12 months
Revenue remaining performance obligation, percentage	55.00%
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2026-08-01
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Revenue, remaining performance obligation, expected timing of satisfaction, period	24 months
Revenue remaining performance obligation, percentage	25.00%