Codice PHP:
<?php
$num 
$_POST['num'];
if (! 
ctype_digit($num)) {
    
// errore
}
$num preg_replace('/^0+/'''$num);
echo 
$num;