Stockholders' Equity - Cash Dividend Declared Per Share (Details) - $ / shares	3 Months Ended			9 Months Ended		12 Months Ended
	Nov. 02, 2019	May 04, 2019	Nov. 03, 2018	Nov. 02, 2019	Nov. 03, 2018	Feb. 02, 2019
Equity [Abstract]
Dividends per share (in dollars per share)	$ 0.1125	$ 0.1125	$ 0.2250	$ 0.4500	$ 0.6750	$ 0.225