That indeed looks like some strange formatting error. Can you
please open an issue on github?
ciao,
Torsten.
On 19.05.19 20:27, Ronaldo Persiano wrote:
>
> echo(1.00006e-20); //ECHO: 1.00006e-2
> echo(1.00000e-20);//ECHO: 1e-20
That indeed looks like some strange formatting error. Can you
please open an issue on github?
ciao,
Torsten.