fix

herbie-fp · Sep 5, 2024 · 48b3a11 · 48b3a11
1 parent 1a8f2a3
commit 48b3a11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/private/mpfr.rkt b/private/mpfr.rkt
@@ -111,7 +111,7 @@
   (let loop ([x x])
     (cond
       [(zero? x) 0.bf]
-      [(negative? x) (bf- (loop x))]
+      [(negative? x) (bf- (loop (- x)))]
       [(> x (infinite-ordinal es sig)) +nan.bf]
       [(= x (infinite-ordinal es sig)) +inf.bf]
       [else ; non-zero, real number