--TEST--
double to string conversion tests
--INI--
precision=14
--SKIPIF--
<?php if (PHP_INT_SIZE != 4) die("skip this test is for 32bit platform only"); ?>
--FILE--
<?php

$doubles = array(
    290000000000000000,
    290000000000000,
    29000000000000,
    29000000000000.123123,
    29000000000000.7123123,
    29000.7123123,
    239234242.7123123,
    0.12345678901234567890,
    10000000000000,
    100000000000000,
    1000000000000000001,
    100000000000001,
    10000000000,
    999999999999999,
    9999999999999999,
    (float)0
    );

foreach ($doubles as $d) {
    var_dump((string)$d);
}

echo "Done\n";
?>
--EXPECTF--
string(7) "2.9E+17"
string(7) "2.9E+14"
string(%d) "2%s"
string(%d) "2%s"
string(%d) "29%d"
string(13) "29000.7123123"
string(15) "239234242.71231"
string(16) "0.12345678901235"
string(14) "10000000000000"
string(7) "1.0E+14"
string(7) "1.0E+18"
string(7) "1.0E+14"
string(11) "10000000000"
string(7) "1.0E+15"
string(7) "1.0E+16"
string(1) "0"
Done