... penso che la miglior cosa sia convertire con php un eventuale valore decimale, in questo modo l'operazione va sempre a buon fine, e l'utente che inserisce i dati eviterebbe di dover fare attenzione e/o ripetere l'immissione errata.
Che comando posso usare?