Leases (Details) $ in Millions	Apr. 30, 2019 USD ($) agreement
Leases [Abstract]
Weighted average remaining lease term (years)	7 years
Weighted average discount rate (percent)	4.20%
Number of agreements not yet commenced | agreement	11
Value of leases not yet commenced | $	$ 109.2