Nombre PHP de plus de 10 décimales

Question

Je suis dans cette situation :

$a = (double)"8.876543456787654";
echo json_encode(["value" => $a]);

C'est le retour de ceci :

{"value":8.8765434567877}

Et non pas ceci, qui est le souhaitable :

{"value":8.876543456787654}

Notez que je ne peux pas avoir ça :

{"value":"8.876543456787654"}

Comment puis-je modifier cette précision et annuler l'arrondi ?

Answer 1

Définir une précision plus élevée au moment de l'exécution

ini_set("precision", "16");

Utilisez également (float) au lieu de (double)