use REQUEST_TIME_FLOAT to get execution time

since we have PHP 5.4+ :P