XML 54 R29.htm IDEA: XBRL DOCUMENT v3.20.1
Revenues - Additional Information (Details 1)
Apr. 30, 2020
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2020-05-01  
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]  
Revenue, remaining performance obligation, expected timing of satisfaction, period 12 months