Restored floating point time granularity.

data/core/init.lua

@@ -779,8 +779,8 @@ function core.confirm_close_docs(docs, close_fn, ...)
   end
 end
 
-local temp_uid = (system.get_time() * 1000) % 0xffffffff
-local temp_file_prefix = string.format(".lite_temp_%08x", temp_uid)
+local temp_uid = math.floor(system.get_time() * 1000) % 0xffffffff
+local temp_file_prefix = string.format(".lite_temp_%08x", tonumber(temp_uid))
 local temp_file_counter = 0
 
 local function delete_temp_files()

src/api/system.c

@@ -639,7 +639,7 @@ static int f_set_clipboard(lua_State *L) {
 
 static int f_get_time(lua_State *L) {
   double n = SDL_GetPerformanceCounter() / (double) SDL_GetPerformanceFrequency();
-  lua_pushinteger(L, n);
+  lua_pushnumber(L, n);
   return 1;
 }