Re: BUG #14138: Inconsistent rounding behavior in float4 coercion

Charles <cooper.charles.m@gmail.com> writes:
> As a follow-up question, I am a bit confused as to the following behavior:
> ...
> How come 11143.1504 is not printed in all of these cases?

float4 to numeric casting doesn't honor extra_float_digits, it just
converts as many digits as will be reliable.

            regards, tom lane