XML 42 R35.htm IDEA: XBRL DOCUMENT v3.20.1
Leases - Additional Information (Detail)
$ in Millions
3 Months Ended 6 Months Ended
Apr. 30, 2020
USD ($)
Apr. 30, 2020
USD ($)
Leases [Abstract]    
Operating Lease, Cost $ 2.5 $ 4.8
Operating Lease, Payments   $ 2.3
Weighted average remaining lease term for operating leases 4 years 9 months 18 days 4 years 9 months 18 days
Weighted average discount rate for operating leases 5.00% 5.00%