Don't use configure to decide PRINTPIKEINT and PRINTPIKEFLOAT since that will be cached in config.cache which can cause trouble if e.g. --with-long-long-int is added later on. Do the job in global.h instead. Rev: src/acconfig.h:1.110 Rev: src/configure.in:1.660 Rev: src/global.h:1.79