diff --git a/iguana/mini-gmp.h b/iguana/mini-gmp.h
index e9a2bb433..bb45c72e7 100644
--- a/iguana/mini-gmp.h
+++ b/iguana/mini-gmp.h
@@ -40,6 +40,7 @@ see https://www.gnu.org/licenses/.  */
 
 /* For size_t */
 #include <stddef.h>
+#include <limits.h>
 
 #if defined (__cplusplus)
 extern "C" {