Fair value measurements - Carrying Amounts and Fair Values of Financial Instruments, Other than Cash and Cash Equivalents, Receivables and Accounts Payable (Detail) $ in Thousands	Jul. 31, 2022 USD ($)
Fair Value Disclosures [Abstract]
Long-term debt, carrying amount	$ 803,426
Long-term debt, fair value	$ 799,701