XML 107 R58.htm IDEA: XBRL DOCUMENT v3.20.1
Marketable Securities - Additional Information (Details)
$ in Millions
Feb. 01, 2020
USD ($)
Marketable Securities [Abstract]  
Marketable securities, current $ 34.0
Marketable securities, noncurrent $ 29.9