XML 77 R58.htm IDEA: XBRL DOCUMENT v3.19.1
Marketable Securities - Additional Information (Details)
$ in Millions
Feb. 02, 2019
USD ($)
Marketable Securities [Abstract]  
Marketable securities, current $ 42.6
Marketable securities, noncurrent $ 19.4