use lua_getintegerx instead of lua_getnumberx