Note 4 - Revenue Recognition - Schedule of Remaining Performance Obligations (Details) (Parentheticals) |
Jul. 31, 2026 |
|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-08-01 | |
| Period (Year) | 1 year |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-08-01 | |
| Period (Year) | 1 year |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2029-08-01 | |
| Period (Year) | 1 year |