Fix definition of flo:largest-positive-normal.
authorTaylor R Campbell <campbell@mumble.net>
Fri, 16 Nov 2018 07:41:53 +0000 (07:41 +0000)
committerTaylor R Campbell <campbell@mumble.net>
Fri, 16 Nov 2018 08:25:07 +0000 (08:25 +0000)
src/runtime/arith.scm
tests/runtime/test-numpar.scm

index fe9c3989a66d636c18c6a79f8c0adb8a16e27fdc..583253e03e15718c1f4b25e5089eba923c0a593d 100644 (file)
@@ -156,7 +156,7 @@ USA.
   (set! flo:smallest-positive-normal
        (flo:ldexp 1. flo:normal-exponent-min-base-2))
   (set! flo:largest-positive-normal
-       (flo:ldexp 1. flo:normal-exponent-max-base-2))
+       (flo:ldexp (flo:nextafter 2. 0.) flo:normal-exponent-max-base-2))
   unspecific)
 
 (define (initialize-package!)
index 5d96200a6e45fa5dc67a2ff8ba7049dab8475a39..34410caecd593efbc5d7d510bd4523100087d9fc 100644 (file)
@@ -90,7 +90,7 @@ USA.
 (define-eqv-test "#e#x1.1p-1" (* #x11 (expt 2 (- (+ 1 4)))))
 (define-eqv-test "#x1.1p-1" (exact->inexact (* #x11 (expt 2 (- (+ 1 4))))))
 (define-eqv-test "#x1p-1022" flo:smallest-positive-normal)
-(define-eqv-test "#x1.fffffffffffffp+1023" flo:largest-positive-normal 'xfail)
+(define-eqv-test "#x1.fffffffffffffp+1023" flo:largest-positive-normal)
 
 (define-eqv-test "#b0." 0.)
 (define-eqv-test "#b0.+0.i" 0.+0.i)