Fair value measurements - Carrying Amounts and Fair Values of Financial Instruments, Other than Cash and Cash Equivalents, Receivables and Accounts Payable (Detail) $ in Thousands	Jan. 31, 2025 USD ($)
Fair Value Disclosures [Abstract]
Long-term debt, carrying amount	$ 2,167,835
Long-term debt, fair value	$ 2,185,944