diff --git a/src/bignum.c b/src/bignum.c
index ab0a0999333802905d5121e003c4ac97732bea49..d5e5b260648cc00326c37c0c81e6ef2a857e20b6 100644
--- a/src/bignum.c
+++ b/src/bignum.c
@@ -17,6 +17,9 @@ static void resolve_auto_bignum_program(void)
 {
   if(auto_bignum_program.type == T_INT)
   {
+    if(gmp_library_resolving)
+      fatal("Recursive GMP resolving!\n");
+
     gmp_library_resolving=1;
     push_text("Gmp.bignum");
     SAFE_APPLY_MASTER("resolv", 1);