Dividends (Details) - USD ($) $ / shares in Units, $ in Thousands		3 Months Ended
	May 23, 2023	Apr. 29, 2023	Apr. 30, 2022
Class of Stock [Line Items]
Cash dividends paid per share (in dollars per share)		$ 0.25	$ 0.25
Cash dividends declared per share (in dollars per share)		$ 0.25	$ 0.25
Cash dividends declared		$ 3,176	$ 3,280
Subsequent Event
Class of Stock [Line Items]
Cash dividends declared per share (in dollars per share)	$ 0.25
Cash dividends declared	$ 3,200