v3.25.1
Fair value measurements - Carrying Amounts and Fair Values of Financial Instruments, Other than Cash and Cash Equivalents, Receivables and Accounts Payable (Detail)
$ in Thousands
Apr. 30, 2025
USD ($)
Fair Value Disclosures [Abstract]  
Long-term debt, carrying amount $ 2,191,815
Long-term debt, fair value $ 2,222,345