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, 2024 USD ($)
Fair Value Disclosures [Abstract]
Long-term debt, carrying amount	$ 1,483,798
Long-term debt, fair value	$ 1,530,217