On Jan 22, 2006, Daniel Jacobowitz <drow@false.org> wrote:

> The output is always a DOUBLEST.  I don't know of any reason why we
> should enable HAVE_LONG_DOUBLE if we can't printf and scanf them; would
> this be simpler in that case?  Don't make DOUBLEST something we can't
> scan or print.

Sounds good to me.  Ok to install?