From: Bruno Haible <bruno@cl...>  20040928 19:26:58

Hi Paul, In the tests BIGNUM.FLOAT.COMPARE.1A BIGNUM.FLOAT.COMPARE.1B BIGNUM.FLOAT.COMPARE.2A BIGNUM.FLOAT.COMPARE.2B BIGNUM.FLOAT.COMPARE.3A BIGNUM.FLOAT.COMPARE.3B BIGNUM.FLOAT.COMPARE.4A BIGNUM.FLOAT.COMPARE.4B BIGNUM.FLOAT.COMPARE.5A BIGNUM.FLOAT.COMPARE.5B BIGNUM.FLOAT.COMPARE.6A BIGNUM.FLOAT.COMPARE.6B BIGNUM.FLOAT.COMPARE.7 BIGNUM.FLOAT.COMPARE.8 you assume that any range of floatingpoint number can be converted to integer, i.e. that the exponent range of integers is bigger than the exponent range of all kinds of floatingpoint numbers. In CLISP, the range of longfloat exponents is bigger than the range of integer exponents (ca. 2^31 versus 2^21). In many other implementations it is just the other way around. Neither of these implementation choices is perfect: Either you cannot assume that conversion from integer to floatingpoint always works, or you cannot assume that conversion from floatingpoint to integer always works. Could you please fix the tests? Bruno 