Hola:
No parece que lo que pones pueda ser útil para ayudarte, porque si el dato que quieres procesar es de un formulario, aunque sea un número, el sistema lo reconoce como texto... todos los value de los formulario suelen ser texto... posiblemente el fichero "busqueda.php" tenga la clave.
Saludos
