I wrote:
> (FWIW, I'm running the patch on gaur's host, just to confirm it
> does what you expect. Should have an answer in an hour or so ...)
It does --- it compiles cleanly, and the float4 output matches
float4-misrounded-input.out.
(This is the v1 patch not v2.)
regards, tom lane