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