Merge pull request #21 from herbie-fp/trig-exponent-calculation-fix

Trig exponent calculation fix
herbie-fp · Mar 12, 2024 · 2f216f6 · 2f216f6
2 parents 16a5f5c + 56545d4
commit 2f216f6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/main.rkt b/main.rkt
@@ -540,9 +540,9 @@
   (if (<= lo* 0)    ; if lo* belongs to (-1, 1)
       (if (<= hi* 0)    ; if hi* belongs to (-1, 1)
                         ; -9223372036854775807 is a code for 0.bf, otherwise -9220000000000000000 and lower is a nan/inf
-          (if (or (and (> -9220000000000000000 lo*) (not (equal? -9223372036854775807 lo*)))
-                  (and (> -9220000000000000000 hi*) (not (equal? -9223372036854775807 hi*))))
-              'too-wide    ; interval includes inf/nan
+          (if (or (and (< 1073741822 (abs lo*)) (not (equal? -9223372036854775807 lo*)))
+                  (and (< 1073741822 (abs hi*)) (not (equal? -9223372036854775807 hi*))))
+              'too-wide    ; interval includes inf/nan/overflow
               'near-0) 
           (cond
             [(equal? period 'pi)