On 11/04/14 07:43, Peter Geoghegan wrote:
> On Thu, Apr 10, 2014 at 12:20 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> I think you're both wrong. 1000 usec = 1 msec, not the other way round.
> Yes, but why would you ever want to divide any number of microseconds
> by 1000 like this, unless you were actually interested in nanoseconds?
> The point is that we start out with microseconds "elapsed" here, not
> milliseconds or seconds.
>
>
123456 microseconds = 123.456 milliseconds
So to get milliseconds you divide the number of microseconds by 1000.
Cheers,
Gavin