--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)
}