XML 73 R74.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases - Summary of Other Lease Information (Details)
Jan. 31, 2020
Leases [Abstract]  
Weighted-average remaining lease term of operating leases in years 6 years 2 months 12 days
Weighted-average discount rate of operating leases 2.81%