Accounts and notes receivable, net (Details) - USD ($) $ in Thousands	Oct. 31, 2023	Jul. 31, 2023
Accounts and notes receivable, net
Accounts receivable	$ 154,646	$ 163,537
Notes receivable	2,500	2,500
Allowance for expected credit losses	(6,642)	(6,658)
Accounts and notes receivable, net	$ 150,504	$ 159,379