Juntar 3 id y luego separarlos

[jotaincubus]

Amigo por mas que intento y por mas pruebas que hago por todos lados los numeros que paso por POST me sigen llegando como string. No veo la forma de setearlos a INT antes de que le lleguen a PHP x(

Por esta razon estare revisando este POST a ver si una persona mas experimentada nos dice que se puede hacer en este caso

PAGINA1.PHP

Código HTML:

<form name="formulario" method="post" action="pagina2.php">
    <fieldset>
        <input type="text" name="text" value="" />
    </fieldset>
    <fieldset>
        <input type="submit" name="Enviar" value="Enviar" />
    </fieldset>
</form>
 

PAGINA.PHP

Código PHP:

<?php
var_dump($_POST);
?>
 

RESULTADO

array(2) { ["text"]=> string(5) "12345" ["Enviar"]=> string(6) "Enviar" }