php中得毫秒数的问题

在php中,想得到当前时间精确到毫秒的unix时间戳,
因为没有直接的函数, 所以就用gettimeofday()得到秒数和微妙数例:
把gettimeofday(),dump出来得到:array(4)
{
  ["sec"]=> int(1173611068)
  ["usec"]=> int(118296)
  ["minuteswest"]=> int(-480)
  ["dsttime"]=> int(0)
} 现在我想得到微妙数就用 sec.(usec/1000) 即1173611068118, 后三位118是毫秒数.想问的问题是: 有时得到的毫秒数是2位数有时是3位数,毫秒数不是就应该是3位数吗?