XML 74 R52.htm IDEA: XBRL DOCUMENT v3.20.1
Leases (Details)
$ in Millions
Apr. 30, 2020
USD ($)
agreement
Leases [Abstract]  
Weighted average remaining lease term (years) 7 years
Weighted average discount rate (percent) 3.80%
Number of agreements not yet commenced | agreement 9
Value of leases not yet commenced | $ $ 88.7