PHP string to int

Arkadaşlar merhaba,
Select formatında bir input girişim var. Bu alandan gelen değerler sadece sayı ve tam sayı $_GET ile okuduğum değerin türü string olarak geliyor.
PHP ile is_int kontrolü yapamıyorum bu yüzden bu gelen değeri float'sa float'a int değerinde ise int değişkeni olarak nasıl değiştirebilirim.

$deger=$_GET['veri'];
if(is_numeric($deger)):

$deger=$deger + 0;
// ya da bunu kullanabilirsin
$deger=$deger * 1;

endif;