Assume that float.h exists. Shouldn't be a problem since port.c does that already. Added defines for the limits for the chosen pike float type. Rev: src/configure.in:1.743 Rev: src/global.h:1.93 Rev: src/pike_float.h:1.2