update jsnums library to fix a bug lexing decimals without leading zeros
add updated jsnums library, which fixes a permissive parsing error in fromString