Leases Lease Cost (Details) $ in Thousands	6 Months Ended
	Jan. 31, 2020 USD ($)
Lessee, Lease, Description [Line Items]
Operating lease expense	$ 15,682
Amortization of right-of-use assets	312
Interest on finance lease liabilities	14
Short-term lease expense	3,292
Variable lease expense	819
Total lease expense	$ 20,119