diff --git a/iguana/mini-gmp.c b/iguana/mini-gmp.c
index 86b2d6250..6cf9dd4cb 100644
--- a/iguana/mini-gmp.c
+++ b/iguana/mini-gmp.c
@@ -52,7 +52,6 @@ see https://www.gnu.org/licenses/.  */
 
 
 /* Macros */
-#define GMP_LIMB_BITS (sizeof(mp_limb_t) * CHAR_BIT)
 
 #define GMP_LIMB_MAX (~ (mp_limb_t) 0)
 #define GMP_LIMB_HIGHBIT ((mp_limb_t) 1 << (GMP_LIMB_BITS - 1))
diff --git a/iguana/mini-gmp.h b/iguana/mini-gmp.h
index 450c3e561..e9a2bb433 100644
--- a/iguana/mini-gmp.h
+++ b/iguana/mini-gmp.h
@@ -288,6 +288,9 @@ size_t mpz_out_str (FILE *, int, const mpz_t);
 
 void mpz_import (mpz_t, size_t, int, size_t, int, size_t, const void *);
 void *mpz_export (void *, size_t *, int, size_t, int, size_t, const mpz_t);
+#define GMP_LIMB_BITS (sizeof(mp_limb_t) * CHAR_BIT)
+#define GMP_NAIL_BITS 0
+#define GMP_NUMB_BITS     (GMP_LIMB_BITS - GMP_NAIL_BITS)
 
 #if defined (__cplusplus)
 }