ross 2002/10/27 17:32:40 PST Modified files: src/unix configure.in configure . Install Log: Uncomment the --enable-double-precision option to configure, but leave it off by default. It's also ignored if sizeof(double) > 2*sizeof(int), because Hugs stores a double as a pair of cells. Revision Changes Path 1.48 +8 -4 hugs98/src/unix/configure.in 1.44 +467 -452 hugs98/src/unix/configure 1.8 +10 -0 hugs98/Install