#33 microtime overload specific to PHP5