public static extern void lua_pushnumber(IntPtr luaState, double n);
public static void PushDouble(this IntPtr L, double value) { Lua.lua_pushnumber(L, value); }