XML 92 R80.htm IDEA: XBRL DOCUMENT v3.20.2
Leases - Lease Term and Discount Rate (Details)
Oct. 31, 2020
Leases [Abstract]  
Operating lease, weighted average remaining lease term (years) 6 years 4 months 24 days
Operating lease, weighted average discount rate, percent 5.60%