<?php
/**
 * Return microtime as a floating point number.
 * Note: In PHP5, simply use microtime(true);
 *
 * @author      Aidan Lister <aidan@php.net>
 * @version     1.0.0
 * @link        http://aidanlister.com/repos/v/function.microtime_float.php
 */
function microtime_float ()
{ 
    list ($msec, $sec) = explode(' ', microtime()); 
	$microtime = (float)$msec + (float)$sec;
    return $microtime; 
}

?>