increase precision of Lua's os.clock