hjælp med microtime()

Jeg har dette php script som ser hvor lang tid det tager at vise side:

<?
function getmicrotime(){
  list($usec, $sec) = explode(" ",microtime());
  return ((float)$usec + (float)$sec);
}

$tid_start = getmicrotime();
?>

<html>
<head>
</head>
<body>
<?
$tid = $tid_slut - $tid_start;
$tid = number_format($tid , 4 , "," , ".");
echo "<p>Genereringstid: $tid</p>";
?>
</body>
</html>
<?
$tid_slut = getmicrotime();
?>

mit problem er så bare at det viser et mærkeligt tal fx: 1.062.251.565,4719
jeg vil så gerne ha det til at vise det i sekunder ligesom her på eksperten, med 3-4 decimaler.