cambia is_int in is_numeric:

codice:
if (isset($_GET['f'])) {
	if (!is_numeric($_GET['f'])) {
		die("no!");
	}
}