herbie-fp/rival

Some issue with `set-precision` and `eval`

Closed this issue · 0 comments

~/herbie/rival $ racket -l rival
> (eval (sin 1e100))
-0.3723761236612767
> (set precision 1000)
> (eval (sin 1e100))
Could not evaluate