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, 2023 USD ($)
Fair Value Disclosures [Abstract]
Long-term debt, carrying amount	$ 1,016,113
Long-term debt, fair value	$ 1,003,337