codice:
$risultato = Math.floor($valore_dal_db/3);
if(is_int($risultato))
   print "intero";
else
   print "non intero";
Stampa: non intero

codice:
$risultato = (int)Math.floor($valore_dal_db/3);
if(is_int($risultato))
   print "intero";
else
   print "non intero";
Stampa: non intero

Per quale motivo non è intero neanche con il cast?