Leases Operating and Financing Lease Obligations (Details) $ in Thousands	Jul. 31, 2019 USD ($)
Lessee, Operating Lease, Liability, Payment, Due [Abstract]
Lessee, Operating Lease, Liability, Payments, Remainder of Fiscal Year	$ 902
Lessee, Operating Lease, Liability, Payments, Due Year Two	1,850
Lessee, Operating Lease, Liability, Payments, Due Year Three	680
Lessee, Operating Lease, Liability, Payments, Due Year Four	316
Lessee, Operating Lease, Liability, Payments, Due Year Five	98
Lessee, Operating Lease, Liability, Payments, Due after Year Five	0
Lessee, Operating Lease, Liability, Payments, Due	3,846
Lessee, Operating Lease, Liability, Undiscounted Excess Amount	(174)
Operating Lease, Liability	3,672
Finance Lease, Liability, Payments, Remainder of Fiscal Year	215
Finance Lease, Liability, Payments, Due Year Two	243
Finance Lease, Liability, Payments, Due Year Three	160
Finance Lease, Liability, Payments, Due Year Four	84
Finance Lease, Liability, Payments, Due Year Five	21
Finance Lease, Liability, Payments, Due after Year Five	0
Finance Lease, Liability, Payment, Due	723
Finance Lease, Liability, Undiscounted Excess Amount	(30)
Finance Lease, Liability	$ 693