<form method="post">
   <input type="text" name="a" value="<? echo htmlspecialchars($a);?>" onfocus="this.value='';">
   <input  type="submit" name="submit" />
</form>

<?
   $a = !empty($_POST['a'])?$_POST['a']:null;
   if (empty($_POST['submit']) || !is_numeric($a)) {
     } else {
        echo "Прошол!";
     }

<?
   $a = isset($_POST['a'])?$_POST['a']:null;
   if (isset($_POST['submit']) && is_numeric($a)) 
   {
       echo "Прошол!";
   } 
   else 
   {
       echo "Не прошол!";        
   }
?>

<?
$a = $_POST['a'];
if (empty($_POST['submit']) || !is_numeric($a)) {
	} else{
	echo $a;
	}

if(intval($_POST['a'])==$_POST['a']){
//numeric
}
else{
//not numeric
}

if(ctype_digit($var)) echo 'Цифра';