XML 25 R43.htm IDEA: XBRL DOCUMENT v3.19.3
Leases - Other Lease Information (Details)
Oct. 31, 2019
Leases [Abstract]  
Weighted-average remaining lease term for operating leases 5 years 9 months 18 days
Weighted-average discount rate for operating leases 2.90%