public/js/CmdPrompt.js
// return true if input is a number or a stringified number
return true if input is a number or a stringified number
return true if input is a number or a stringified number
function isNum(n) {
    if (_.isNumber(n)) return true;
    if (String(parseInt(n)) == String(n)) return true;
    return false;
}
function isNum ( n ) { if ( _ . isNumber ( n ) ) return true ; if ( String ( parseInt ( n ) ) == String ( n ) ) return true ; return false ; }
return true if input is a number or a stringified number
return true if input is a number or a stringified number