Re: Strange results when casting string to double

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.