Acquisition (Purchase Price Allocation) (Details) - USD ($) $ in Thousands		12 Months Ended
	Aug. 18, 2021	Jul. 31, 2022	Jul. 31, 2021
Business Acquisition [Line Items]
Goodwill		$ 372,192	$ 340,877
Goodwill, Acquired During Period		$ 31,315
HazardHub, Inc.
Business Acquisition [Line Items]
Business Combination, Recognized Identifiable Assets Acquired And Liabilities Assumed, Assets, Excluding Finite-Lived Intangibles	$ 198
Goodwill	31,315
Business Combination, Recognized Identifiable Assets Acquired and Liabilities Assumed, Deferred Tax Liabilities	(2,882)
Total purchase price	44,331
HazardHub, Inc. | Developed technology
Business Acquisition [Line Items]
Finite lived intangible assets acquired	$ 9,700
Estimated useful lives (in years)	5 years
HazardHub, Inc. | Trademarks
Business Acquisition [Line Items]
Finite lived intangible assets acquired	$ 900
Estimated useful lives (in years)	7 years
HazardHub, Inc. | Customer Relationships
Business Acquisition [Line Items]
Finite lived intangible assets acquired	$ 5,100
Estimated useful lives (in years)	5 years