Использование is_int
вряд ли поможет. Все входящие параметры (включая $ _GET и $ _POST) анализируются как строки PHP. Функция is_int
проверяет тип данных, а не значение. ctype_digit
проверяет только цифры:
if(isset($_GET['page']) && ctype_digit($_GET['page']){
$page = (int)$_GET['page'];
echo "Page Number: ".$page;
}