Dropped PHP 5.3 support
just in case microtime(true) returns an integer