Codice PHP:
is_numeric($Dato);