Commitments and Contingencies (Details) - USD ($)	6 Months Ended	12 Months Ended
	Jan. 31, 2023	Jul. 31, 2022	Jan. 31, 2022
Business Acquisition
Contingent consideration			$ 0
Purilogics, LLC
Business Acquisition
Contingent consideration, non current	$ 600,000	$ 100,000
Contingent compensation arrangements	3,000,000	3,000,000
Less contingent consideration	23,000,000	23,000,000
Maximum payout	29,000,000	29,000,000
Contingent consideration	$ 23,000,000	23,000,000
Purilogics, LLC | Minimum
Business Acquisition
Contingent consideration, terminating (in years)	3 years
Purilogics, LLC | Maximum
Business Acquisition
Contingent consideration, terminating (in years)	5 years
Other acquisitions
Business Acquisition
Less contingent consideration	$ 1,700,000	1,700,000
Maximum payout	3,100,000
Contingent consideration	$ 600,000	$ 300,000
Other acquisitions | Minimum
Business Acquisition
Contingent consideration, terminating (in years)	3 years	3 years
Other acquisitions | Maximum
Business Acquisition
Contingent consideration, terminating (in years)	5 years