Skip to content
  • Raymond Toy's avatar
    Fix #59: type derivation for decode-float exponent · 3acdd1b7
    Raymond Toy authored
    Type derivation for exponent part of decode-float was incorrect.  We
    need to take the absolute value of the argument before deriving the
    type since the exponent is, of course, independent of the sign of the
    number.  In the test case, the negative interval caused the lower and
    upper bounds to be reversed, resulting in an invalid interval.
    3acdd1b7