PHP4 マイクロ秒までのタイムスタンプを取得する

function diffTime() {
list($msec, $sec) = explode(" ", microtime());
$timestamp = (float)$msec + (float)$sec;
return $timestamp;
}