Leases (Details) - USD ($) $ in Thousands	3 Months Ended	6 Months Ended
	Jan. 31, 2020	Jan. 31, 2020	Aug. 01, 2019	Jul. 31, 2019
Operating Lease Expense [Line Items]
Right-of-Use Asset Obtained in Exchange for Operating Lease Liability		$ 10,637
Operating Lease, Weighted Average Remaining Lease Term	3 years 10 months 24 days	3 years 10 months 24 days
Operating Lease, Weighted Average Discount Rate, Percent	3.40%	3.40%
Lessee, Operating Lease, Liability, Payments, Due Next Twelve Months	$ 8,426	$ 8,426		$ 18,450
Lessee, Operating Lease, Liability, Payments, Due Year Two	15,780	15,780		16,132
Lessee, Operating Lease, Liability, Payments, Due Year Three	12,797	12,797		13,439
Lessee, Operating Lease, Liability, Payments, Due Year Four	9,427	9,427		10,065
Lessee, Operating Lease, Liability, Payments, Due Year Five	5,580	5,580		5,656
Lessee, Operating Lease, Liability, Payments, Due after Year Five	3,268	3,268		3,502
Lessee, Operating Lease, Liability, Payments, Due	55,278	55,278		$ 67,244
Lessee, Operating Lease, Liability, Undiscounted Excess Amount	(3,384)	(3,384)
Operating Lease, Liability	51,894	51,894	$ 58,544
Operating Lease, Payments		8,216
Cost of Sales [Member]
Operating Lease Expense [Line Items]
Operating Lease, Cost	2,092	4,962
Selling, General and Administrative Expenses [Member]
Operating Lease Expense [Line Items]
Operating Lease, Cost	$ 2,182	$ 4,716