added --with-double-precision Rev: src/acconfig.h:1.52 Rev: src/configure.in:1.336 Rev: src/global.h:1.40