quindi non c'è nessun'altro modo più semplice per "evitare" che l'utente inserisca un numero decimale?