diff --git a/H/eval.h b/H/eval.h
index ac50bb09e..7c87e06e2 100644
--- a/H/eval.h
+++ b/H/eval.h
@@ -238,7 +238,7 @@ inline EXTERN Term Yap_Mk64IntegerTerm(YAP_LONG_LONG);
 inline EXTERN Term
 Yap_Mk64IntegerTerm(YAP_LONG_LONG i)
 {
-  if (i <= Int_MAX || i >= Int_MIN) {
+  if (i <= Int_MAX && i >= Int_MIN) {
     return MkIntegerTerm((Int)i);
   } else {
 #if USE_GMP