Lua - Current time in milliseconds

Question

Is there a common way to get the current time in or with milliseconds?

There is os.time(), but it only provides full seconds.

Answer 1

I use LuaSocket to get more precision.

require "socket"
print("Milliseconds: " .. socket.gettime()*1000)

This adds a dependency of course, but works fine for personal use (in benchmarking scripts for example).