From 9c15b76c5a6355902b2a105a7c6ee93f6b5016dc Mon Sep 17 00:00:00 2001 From: Minijackson Date: Thu, 29 Dec 2022 01:40:08 +0100 Subject: WIP v2: text works, primitives works in Lua --- z3-solver/src/lib.rs | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) (limited to 'z3-solver/src') diff --git a/z3-solver/src/lib.rs b/z3-solver/src/lib.rs index 35a17a8..1c90a6f 100644 --- a/z3-solver/src/lib.rs +++ b/z3-solver/src/lib.rs @@ -30,15 +30,18 @@ impl Drop for Z3Context<'_> { } fn value_to_num_den(value: f64) -> (i32, i32) { - let fract = value.fract(); - let number_of_fract_digits = -fract.log10().floor(); - - if number_of_fract_digits >= 1. && !number_of_fract_digits.is_infinite() { - let den = 10f64.powf(number_of_fract_digits); - ((value * den) as i32, den as i32) - } else { - (value as i32, 1) - } + // TODO: FIXME: so hacky, because I'm so lazy... + ((value * 1_000_000.) as _, 1_000_000) + + // let fract = value.fract(); + // let number_of_fract_digits = -fract.log10().floor(); + // + // if number_of_fract_digits >= 1. && !number_of_fract_digits.is_infinite() { + // let den = 10f64.powf(number_of_fract_digits); + // ((value * den) as i32, den as i32) + // } else { + // (value as i32, 1) + // } } impl<'z3> Z3Context<'z3> { -- cgit v1.2.3