diff --git a/C/arith1.c b/C/arith1.c
index 683f6b620..645b251ae 100644
--- a/C/arith1.c
+++ b/C/arith1.c
@@ -624,7 +624,7 @@ eval1(Int fi, Term t) {
     case long_int_e:
       RFLOAT(IntegerOfTerm(t));
     case double_e:
-      RFLOAT(FloatOfTerm(t));
+      return t;
     case big_int_e:
 #ifdef USE_GMP
       RFLOAT(mpz_get_d(Yap_BigIntOfTerm(t)));