Hi, as I see, time measurement is in seconds in Ur/Web: val diffInSeconds : time -> time -> int is there any reason that we cannot measure time in milliseconds? I would need it for profiling. - Gergely