Leases - Lease Term And Discount Rate Information (Details)
Jul. 31, 2020
Leases [Abstract]  
Weighted-average remaining lease term (in years) 8 years 10 months 2 days
Weighted-average discount rate 2.56%