Fix egglog test

Author: pavpanchekha

.github/workflows/unit-test.yml

@@ -60,7 +60,7 @@ jobs:
 
       # Test egglog mode
       - name: "Run Herbie with egglog"
-        run: racket -y infra/ci.rkt --egglog --seed 0 bench/hamming/trigonometry.fpcore
+        run: racket -y infra/ci.rkt --egglog --precision binary64 --seed 0 bench/hamming/trigonometry.fpcore
 
       # Test the egg-herbie Rust code
       - run: cd egg-herbie && cargo clippy --tests