ma è meglio usare ctype_digit() o is_numeric()? tempo fà lessi una guida (non ricordo dove) che sconsigliava l'uso di is_numeric()...