Stockholders' Equity - Cash Dividends Declared and Paid (Details) - $ / shares	3 Months Ended
	Apr. 29, 2023	Jan. 28, 2023	Oct. 29, 2022	Jul. 30, 2022	Apr. 30, 2022	Jan. 29, 2022	Oct. 30, 2021	Jul. 31, 2021	Apr. 24, 2021	Jan. 23, 2021	Oct. 24, 2020	Jul. 25, 2020
Equity [Abstract]
Cash dividend paid (in usd per share)	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26	$ 0.26