Fix real implementation in C to use GMP rationals

Implement square root function for rationals up to an arbitrary
precision, currently 30 decimal places. May need to increase this for
ARM tests.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/sail.h b/lib/sail.h
index b89510e7..3f141ec7 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -269,7 +269,7 @@ void reverse_endianness(sail_bits*, sail_bits);
 
 /* ***** Sail reals ***** */
 
-typedef mpf_t real;
+typedef mpq_t real;
 
 SAIL_BUILTIN_TYPE(real);