--- /dev/null
+--TEST--
+serialize()/unserialize() floats in array.
+--INI--
+precision=12
+serialize_precision=100
+--FILE--
+<?php
+error_reporting (E_ALL);
+$a = array(4);
+$str = serialize($a);
+print('Serialized array: '.$str."\n");
+$b = unserialize($str);
+print('Unserialized array: ');
+var_dump($b);
+print("\n");
+$str = serialize(array(4.5));
+print('Serialized array: '.$str."\n");
+$b = unserialize($str);
+print('Unserialized array: ') ;
+var_dump($b);
+?>
+--EXPECT--
+Serialized array: a:1:{i:0;i:4;}
+Unserialized array: array(1) {
+ [0]=>
+ int(4)
+}
+
+Serialized array: a:1:{i:0;d:4.5;}
+Unserialized array: array(1) {
+ [0]=>
+ float(4.5)
+}