<?php function microtime_float() { list($usec, $sec)&nb...