ミリセカンドまでをはかりたいときの簡単なPHPの関数 



function microtime_float()
{

  list($usec, $sec) = explode(" ", microtime());     

  return ((float)$usec + (float)$sec);

}