Presentation and Summary of Significant Accounting Policies - Revenue recognition timing (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-05-01	Apr. 30, 2020
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue recognition of remaining performance obligations	60.00%
Revenue recognition in next twelve months	12 months