See:
* https://bugs.php.net/bug.php?id=64760
*
4dc4302
--TEST--
Test var_export() function with locale
--INI--
-precision=14
+serialize_precision=17
--SKIPIF--
<?php
if (!setlocale(LC_ALL, "german", "de","de_DE","de_DE.ISO8859-1","de_DE.ISO_8859-1","de_DE.UTF-8")) {
--TEST--
Test var_export() function with valid float values
--INI--
-precision=14
+serialize_precision=17
--FILE--
<?php
/* Prototype : mixed var_export(mixed var [, bool return])
--TEST--
Test var_export() function with valid arrays
+--INI--
+serialize_precision=17
--FILE--
<?php
/* Prototype : mixed var_export(mixed var [, bool return])
Bug #24640 (var_export and var_dump can't output large float)
--INI--
precision=12
+serialize_precision=17
--FILE--
<?php
function test($v)