Double to string conversion error on 3.1.0 and 3.1.2, php5.6 #1156

First thankyou for the great work you do on phpredis! We use it as part of our open source energy monitoring software emoncms. http://github.com/emoncms/emoncms/

After upgrading to phpredis-3.1.0 and 3.1.2 we have encountered a problem with rounding of numbers. The primary target system for testing so far has been a raspberrypi system with php5.6. E.g:

<?php
$redis = new Redis();
$connected = $redis->connect("localhost");
$redis->set("test:kwh1",10004.307044278);
print $redis->get("test:kwh1");

returned

10004.3

On version 3.0.0 and 2.2.8 it returned:

10004.307044278

Our full thread trying to pin point this issue can be found here if its of interest:
emoncms/emoncms#660