SpringTime: further improve precision
LuaVFS: switch to luaL_optstring & luaL_checkstring