- preg_match: documentation ( source)
- round: documentation ( source)
<?php
$_POST['a'] = 6898557993159892;
$a=$_POST['a']*1337+1.7;
if(preg_match('/\D/', (string) $a)){
$a = 1337;
}
else{
$a = (int) round($a) - 33;
}
echo $a;
?>