1 files changed, 10 insertions, 1 deletions

diff --git a/z3-solver/src/lib.rs b/z3-solver/src/lib.rs
index db907e7..6ad7ffc 100644
--- a/z3-solver/src/lib.rs
+++ b/z3-solver/src/lib.rs
@@ -31,7 +31,16 @@ impl Drop for Z3Context<'_> {
 
 fn value_to_num_den(value: f64) -> (i32, i32) {
     // TODO: FIXME: so hacky, because I'm so lazy...
-    ((value * 1_000_000.) as _, 1_000_000)
+
+    const FACTOR: f64 = 524_288.;
+    const FACTOR_I32: i32 = FACTOR as _;
+    const LIMIT: f64 = i32::MAX as f64 / FACTOR;
+
+    if value < LIMIT {
+        ((value * FACTOR) as _, FACTOR_I32)
+    } else {
+        (value as _, 1)
+    }
 
     // let fract = value.fract();
     // let number_of_fract_digits = -fract.log10().floor();