Hola amigo ciao
sabes en verdad no tienes ningún error, tu código esta bien, lo que sucede es que cuando envías información de un formulario, es de tipo texto o String, puedes hacer la conversión como en C
$a=(integer)$_GET[.....
esta linea convierte el dato digitado en el formulario en entero.
Porque PHP, hace la conversión hasta que la procesas con algún operador.
Espero te sirva....
Si no aquí estamos...