Other Income (Expense), Net - Other Income (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Nov. 01, 2020	Oct. 31, 2019	Nov. 01, 2020	Oct. 31, 2019
Other Income and Expenses [Abstract]
Interest income	$ 3,728	$ 6,770	$ 14,383	$ 20,376
Interest expense	(7,989)	(7,077)	(22,573)	(20,725)
Foreign currency transactions gains (losses)	(699)	97	(277)	(2,329)
Other income	73	219	1,767	219
Total other income (expense), net	$ (4,887)	$ 9	$ (6,700)	$ (2,459)