If you ignore the issue that Weedpacket addresses above, then I suppose you could say there is a single, built-in function that does what you're after - str_replace() as mentioned above. Example:
$value = "25,345.30";
$int_value = (int)str_replace(',', '', $value);
echo "$value = $int_value"; // 25,345.30 = 2345