v3.25.2
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, 2025
USD ($)
Fair Value Disclosures [Abstract]  
Long-term debt, carrying amount $ 2,107,089
Long-term debt, fair value $ 2,143,866