Leases Operating and Financing Lease Obligations (Details) $ in Thousands	Oct. 31, 2019 USD ($)
Lessee, Operating Lease, Liability, Payment, Due [Abstract]
Lessee, Operating Lease, Liability, Payments, Remainder of Fiscal Year	$ 450
Lessee, Operating Lease, Liability, Payments, Due Year Two	1,846
Lessee, Operating Lease, Liability, Payments, Due Year Three	677
Lessee, Operating Lease, Liability, Payments, Due Year Four	314
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,385
Lessee, Operating Lease, Liability, Undiscounted Excess Amount	(144)
Operating Lease, Liability	3,241
Finance Lease, Liability, Payments, Remainder of Fiscal Year	110
Finance Lease, Liability, Payments, Due Year Two	250
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	625
Finance Lease, Liability, Undiscounted Excess Amount	(25)
Finance Lease, Liability	$ 600