Summary of Significant Accounting Policies - Revenue Recognition (Details) - Few Contracts - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-08-01	Jul. 31, 2023
Minimum
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue arrangements by service contract period	1 year
Maximum
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue arrangements by service contract period	3 years