Acquisitions (Details) - Acquisition of technology companies $ in Thousands  | 
12 Months Ended | 
|---|---|
| 
 Feb. 02, 2019  
USD ($)  
company 
 | |
| Acquisitions | |
| Payments to acquire companies | $ | $ 13,606 | 
| Number of companies acquired | company | 2 | 
| X | ||||||||||
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. No definition available. 
  | 
| X | ||||||||||
- Definition The number of businesses acquired by the entity during the period. No definition available. 
  | 
| X | ||||||||||
- Definition The cash outflow associated with the acquisition of business during the period. The cash portion only of the acquisition price. Reference 1: http://www.xbrl.org/2003/role/disclosureRef 
  | 
| X | ||||||||||
- Details 
  |