diff --git a/C/c_interface.c b/C/c_interface.c
index fefebe01d..2e8a71b20 100644
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -3622,8 +3622,10 @@ YAP_ListToFloats(Term t, double *dblp, size_t sz)
 	dblp[i++] = IntOfTerm(hd);
       else if (IsLongIntTerm(hd))
 	dblp[i++] = LongIntOfTerm(hd);
+#if USE_GMP
       else if (IsBigIntTerm(hd))
 	dblp[i++] = Yap_gmp_to_float(hd);
+#endif
       else
 	return -1;
     }