> Standard Hugs represents both Double and Float using an IEEE754
> 32-bit (short) float, unfortunately, so you can expect over/under
> flows at around 1e+/-38.
Classic Hugs (as I believe it's called these days) can be configured
to use double precision for both Floats and Doubles. The following
comment in configure.in explains how to do it and why it was
deliberately made hard to do. ("plugins" was an early name for "Code
generated by GreenCard").
dnl Disabled for now because the plugin-code can't handle the change.
dnl If you're not using plugins, you could turn this on manually
dnl by setting "USE_DOUBLE_PRECISION" in options.h.in (before running
dnl the configure script).
dnl AC_ARG_ENABLE(double-precision, [ --enable-double-precision use double precision
arithmetic], AC_DEFINE(USE_DOUBLE_PRECISION))
--
Alastair Reid
