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, 2024 USD ($)
Fair Value Disclosures [Abstract]
Long-term debt, carrying amount	$ 1,624,514
Long-term debt, fair value	$ 1,676,192