src/lua.js: Add tonumber() function