http://www.tpsa.com/settype.php
http://www.tpsa.com/settype.phps

it has phpinfo(); in it

sniplet:

$zzz=(10*(10.2-1));
$zzztype=gettype($zzz);
echo "\$zzz = $zzz and is $zzztype<br>";
settype($zzz, "integer");
echo "after settype to integer: \$zzz = $zzz <br>";

$zz=(10*(1.2-1));
$zztype=gettype($zz);
echo "\$zz = $zz and is $zztype<br>";
settype($zz, "integer");
echo "after settype to integer: \$zz = $zz <br>";