Actually fix real literals, and add a test for various properties

1 files changed, 5 insertions, 2 deletions

diff --git a/lib/sail.c b/lib/sail.c
index 323ea7d8..e0daf0cf 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -969,10 +969,13 @@ void real_power(real *rop, const real base, const sail_int exp)
 
 void CREATE_OF(real, sail_string)(real *rop, const sail_string op)
 {
+  int decimal;
+  int total;
+
   mpq_init(*rop);
-  gmp_sscanf(op, "%Zd.%Zd", sail_lib_tmp1, sail_lib_tmp2);
+  gmp_sscanf(op, "%Zd.%n%Zd%n", sail_lib_tmp1, &decimal, sail_lib_tmp2, &total);
 
-  unsigned long len = (unsigned long) mpz_sizeinbase(sail_lib_tmp2, 10);
+  int len = total - decimal;
   mpz_ui_pow_ui(sail_lib_tmp3, 10, len);
   mpz_set(mpq_numref(*rop), sail_lib_tmp2);
   mpz_set(mpq_denref(*rop), sail_lib_tmp3);