If a float can be casted to a long long without rounding loss, we can use the integer...

diff --git a/redis.c b/redis.c
index 90fe6f95b82f45f0104eec866474b77db3d7d5f9..28f7a8b6a24ae2f535f67e472f2207c12f0cf22a 100644 (file)
--- a/redis.c
+++ b/redis.c
@@ -3513,7 +3513,10 @@ static int rdbSaveDoubleValue(FILE *fp, double val) {
         len = 1;
         buf[0] = (val < 0) ? 255 : 254;
     } else {
-        snprintf((char*)buf+1,sizeof(buf)-1,"%.17g",val);
+        if (val == ((long long)val))
+            ll2string((char*)buf+1,sizeof(buf),(long long)val);
+        else
+            snprintf((char*)buf+1,sizeof(buf)-1,"%.17g",val);
         buf[0] = strlen((char*)buf+1);
         len = buf[0]+1;
     }