da ignorante in funzioni io avrei fatto in modo artigianale:
codice:
$a = $_POST['numeri'];
$al = strlen($a );
$num = '1234567890';
$numl = strlen($num );
for ($x=0;$x < $al ; $x++){
$cont = 1;
for ($y=0;$y < $numl ; $y++) {
if ($a{$x} == $num{$y}){ $cont = 0; }
}
if ($cont==1){break; }
}
if ($cont==1){
echo "carattere non valido"; }
else { //è un numero.. fai l'operazione
}
che ve ne pare??? 
semplice ma infallibile... to.. se vuoi considerare i decimali fai
$num = '1234567890,';
altroche i vostri (int)