Dividends - Number of Declarations and Cash Dividends Paid (Details) - USD ($) $ / shares in Units, $ in Thousands	3 Months Ended		6 Months Ended
	Jul. 29, 2023	Jul. 30, 2022	Jul. 29, 2023	Jul. 30, 2022
Equity [Abstract]
Cash dividends paid	$ 3,200	$ 3,200	$ 6,339	$ 6,500
Dividends paid (in dollars per share)	$ 0.25	$ 0.25	$ 0.50