Vérifier qu'une chaine de caractère est un entier

<?php

set_time_limit(0);
error_reporting(E_ALL ^ E_NOTICE);

mysql_connect('localhost','root','');
mysql_select_db('gestnum');


//on mesure la longueur des différentes lignes du fichier

$handle = fopen("fichiernumcr.txt", "r");
$i=0;

while (($taille = fgetcsv($handle, 0, "\n")) !== FALSE)
        {
$i++;        
$nul = strlen($taille[0]);


// On verifie que le fichier ne contient que des entiers

if (ctype_digit($taille[0]))
    {
      //$entier=1;
	  //$ligne=$i;
	  //echo 'La chaîne '. $entier .' est bien un entier<br/>';
    }
    else
    {
	  $entier1=0;
	  $ligne=$i;	
    }
		  
         } 
		 
		 
	 //Erreur fichier quand il contient des lettres

   if($entier1 ==0)
   {
   header('Location: ../gestionnaire-mdn/gerer-les-mdn-a-creer.php?er3=fstr1');
 
   }


?>

       <?php 
         error_reporting(E_ALL ^ E_NOTICE);

  if(isset($_GET['er3']) and $_GET['er3'] = 'fstr1')
 {
$handle = fopen("../Blog Posts/fichiernum.txt", "r");
$i=0;
$entier1=0;
while (($taille = fgetcsv($handle, 0, "\n")) !== FALSE)
        {
  $i++;        
$nul = strlen($taille[0]);


if (ctype_digit($taille[0]))
    {
      //$entier=1;
	  //$ligne=$i;
	  //echo 'La chaîne '. $entier .' est bien un entier<br/>';
    }
    else
    {
	  $entier1=1;
	  $ligne=$i;	
      }
	  
         } 

 
 echo '<span style="font-style: italic; font-size: 15px; text-shadow: rgb(25, 25, 255) 1.4px 1.4px 0px, 
rgba(23, 23, 23, 0.792969) 2.1px 2.1px 0px; color: red;">
Erreur de Traitement : La structure du fichier est incorrecte, la ligne " N° '.$ligne.' "  contient un caractère alphabétique. Or le Numéro d\'Abonné un nombre entier';

$ecrire = fopen('../Blog Posts/fichiernum.txt',"w");
ftruncate($ecrire,0);
 }
		 ?>