Description:
------------
Using float in arrays with var_dump returns rounded results, which is definitly not the stored numbers...

And if you try an echo sprintf('%.0f',$value[0]) you'll get the good value...

Too bad :(

Reproduce code:
---------------
$value = array((float)"3700368445139",(float)"37003684447031");
var_dump($value);

Expected result:
----------------
array(2) { [0]=>  float(3700368445139) [1]=>  float(37003684447031) }

Actual result:
--------------
array(2) { [0]=>  float(3700368445140) [1]=>  float(37003684447000) }