On 16.02.22 14:27, Carsten Klein wrote:
> AFAIK, this conversion is done by internal function float8in, which,
> when called directly, yields the same results:
>
> SELECT float8in('1.56');
>
> --> 1.55999999999999 (wrong!) on one server, and
> --> 1.56 (correct!) on all other servers.
float8in() really just calls the operating system's strtod() function.
I would test that one directly with a small C program.
It's also possible that different compiler options lead to different
optimizations.