<?php

$times = 30000;

function testInt ($var) {
        return !strcmp($var, intval($var));
}

function testIntVariant1 ($var) {
        return (string)intval($var) == $var;
}

function testIntVariant2 ($var) {
        return is_numeric($var) ? (int) $var == $var : FALSE;
}

function resultTest ($function, $a, $b) {
        return $function($a, $b);
}

function timeTest ($function, $a, $b) {
        global $times;
        $time_start = microtime(TRUE);
        for ($i = 0; $i < $times; $i++) {
                $function($a, $b);
        }
        return (microtime(TRUE) - $time_start);
}

function showResult($result) {
        if($result === FALSE) {
                return "FALSE";
        }
        if($result === TRUE) {
                return "TRUE";
        }

}
$testcases = array (
        'int' => array (32425),
        'negative int' => array(-32425),
        'largest int' => array(PHP_INT_MAX),
    'int as string' => array('32425'),
    'negative int as string' => array('-32425'),
    'zero' => array(0),
    'zero as string' => array('0'),
    'negative int as string with leading zero' => array('-01234'),
);

foreach ($testcases as $name => $parameters) {
        echo "\n$name";

        $baseTime = timeTest ('testInt', $parameters[0], $parameters[1]);
        $result = showResult(resultTest ('testInt', $parameters[0], $parameters[1]));
        echo "\noriginal $result : " . sprintf("%.3f", $baseTime);

        $time = timeTest ('testIntVariant1', $parameters[0], $parameters[1]);
        $result = showResult(resultTest ('testIntVariant1', $parameters[0], $parameters[1]));
        echo "\nvariant1 $result : " . sprintf("%.3f", $time) . ' gain ' . number_format((($baseTime/$time)*100) - 100, 1) . ' %';

        $time = timeTest ('testIntVariant2', $parameters[0], $parameters[1]);
        $result = showResult(resultTest ('testIntVariant2', $parameters[0], $parameters[1]));
        echo "\nvariant2 $result : " . sprintf("%.3f", $time) . ' gain ' . number_format((($baseTime/$time)*100) - 100, 1) . ' %';


        echo "\n";
}

?>