Summary of Significant Accounting Policies - Revenue Recognition (Details) - Few Contracts - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-05-01	Apr. 30, 2022
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