XML 21 R53.htm IDEA: XBRL DOCUMENT v3.20.1
Leases - Narrative (Details)
$ in Millions
Apr. 30, 2020
USD ($)
extension_option
Lessee, Lease, Description [Line Items]  
Undiscounted future payments for operating leases that have not yet commenced | $ $ 3.3
Operating leases not yet commenced, lease term (in years) 3 years
Minimum  
Lessee, Lease, Description [Line Items]  
Number of lease extension options | extension_option 1
Operating renewal term (in years) 1 year
Maximum  
Lessee, Lease, Description [Line Items]  
Operating renewal term (in years) 7 years