Questa funzione di PHP tratta i numeri in formato decimale in modo particolare.
A differenza di quanto avviene in JavaScript con JSON.stringify(), in PHP la funzione json_encode()
elabora i numeri in formato decimale aggiungendo più di una cifra decimale rispetto al numero originale.
Di fatto questa funzione opera un ulteriore arrotondamento sui numeri. Si tratta di una caratteristica da tenere presente quando
si convertono valori decimali da una query ad un database MySQL utilizzando il casting con (float) e l'arrotondamento con
round() per poi generare un output in formato JSON.