XML 73 R53.htm IDEA: XBRL DOCUMENT v3.8.0.1
Marketable Securities - Additional Information (Details)
$ in Millions
Feb. 03, 2018
USD ($)
Marketable Securities [Abstract]  
Marketable securities, current $ 34.0
Marketable securities, noncurrent $ 26.1