On Fri, 4 Jun 1999, Donn Terry wrote: > Krister: I've submitted a patch for rbug.c that should fix all the problems > that rbug currently shows up on x86's running in 64 bit float mode. > (a.k.a 56 bit mantissa). Take a look and see if it helps. Yes, it solves the problems. /Krister