Converting all $_POST values to integers when a HTML form has been submitted?

Question

I have a web form and when it gets submitted I post the data to a PHP page. Now I need PHP to convert every value from the POST to be converted to an integer. At the moment I tried do do it as below

$_POST = array_map("convert",$_POST);

function convert(val){
    return (int)$val;
}

Is there a built-in PHP function for this.

Answer 1

What about using intval, instead of your own convert function ?

Returns the integer value of var , using the specified base for the conversion (the default is base 10).

(And, of course, still using array_map)

Answer 2

I thought that:

$res = array_map('intval', $_POST);

is short enough.