Qual è la funzione per trasformare un intero in un double (con una cifra decimale)? Di sicuro esiste, ce l'hanno tutti i linguaggi di programmazione, ma non sono riuscito a trovarla![]()
Qual è la funzione per trasformare un intero in un double (con una cifra decimale)? Di sicuro esiste, ce l'hanno tutti i linguaggi di programmazione, ma non sono riuscito a trovarla![]()
Non è molto chiara la domanda. Per fare il casting puoi fare così
$num = 3;
echo gettype($num);
$num = (float) $num;
echo gettype($num);
Se invece parli di semplice visualizzazione
echo number_format($num,1,',','');
oppure
echo sprintf("%01.1f", $num);
occhio che number_format e sprintf restituiscono una stringa e quindi servono in fase di visualizzazione, non per fare calcoli.
![]()
sì, parlavo della visualizzazione![]()
Grazie
![]()