dimenticavo, c'e' anche questo trucco:
Codice PHP:
$num $_GET['num'];
if(
is_numeric($_GET['num'])){
  
$num $num+0;
  if(
is_float($num)){
    echo 
'float';
  }else{
     echo 
'int';
   }
}else{
  echo 
'non numerico';