Leases (Details) - USD ($) $ in Thousands	3 Months Ended
	Oct. 31, 2019	Aug. 01, 2019
Operating Lease, Payments	$ 4,010
Operating Lease, Weighted Average Remaining Lease Term	4 years 1 month 6 days
Lessee, Operating Lease, Liability, Payments, Due Next Twelve Months	$ 12,556
Lessee, Operating Lease, Liability, Payments, Due Year Two	15,599
Lessee, Operating Lease, Liability, Payments, Due Year Three	12,647
Lessee, Operating Lease, Liability, Payments, Due Year Four	9,265
Lessee, Operating Lease, Liability, Payments, Due Year Five	5,502
Lessee, Operating Lease, Liability, Payments, Due after Year Five	3,181
Lessee, Operating Lease, Liability, Payments, Due	58,750
Lessee, Operating Lease, Liability, Undiscounted Excess Amount	(3,769)
Operating lease liabilities	$ 54,981	$ 58,544
Operating Lease, Weighted Average Discount Rate, Percent	3.40%
Right-of-Use Asset Obtained in Exchange for Operating Lease Liability	$ 9,952
Cost of Sales [Member]
Operating Lease, Cost	4,095
Selling, General and Administrative Expenses [Member]
Operating Lease, Cost	$ 1,310