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