On Thu, 27 Oct 2011 23:31:14 -0400 Robert Dewar <de...@adacore.com> wrote:
> > - I am missing a gcc flag > > probably you should avoid extra precision and all the > issues it brings, as well as speed up your program, by > using SSE 64-bit arithmetic (using the appropriate gcc > flags) Indeed. -mpc64 fixes the issue and proper 53-bit rounding is applied. Thanks a lot. Zoltan
