$ticks does indeed return a value in milliseconds, however it's accuracy is variable depending on the system on which mIRC is running.

http://msdn.microsoft.com/en-us/library/ms724408(VS.85).aspx