Description:
------------
In documentation for microtime() at php.net, there is an example:

<?php
/**
 * Simple function to replicate PHP 5 behaviour
 */
function microtime_float()
{
   list($usec, $sec) = explode(" ", microtime());
   return ((float)$usec + (float)$sec);
}
..

shouldn't be the last line in microtime_float() this?

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

Summing seconds and microseconds without conversion won;t work ...