ho provato con is_numeric ma se l'utente immette un numero con virgola non va. con is_float è la stessa cosa come fare?