list($usec, $sec) = explode(" ", microtime());
$zeit_start = ((float)$usec + (float)$sec);microtime() kennt seit PHP 5.0 den Parameter get_as_float. Wenn man also ein true (oder 1) übergibt, bekommt man die Zeit direkt als float geliefert.
Ah, die Nachteile wiederverwendbarer Programmierung. :-)