1--TEST--
2Bug #66179 (var_export() exports float as integer)
3--FILE--
4<?php
5
6var_export(1.0);
7echo PHP_EOL;
8var_export(123.0);
9echo PHP_EOL;
10var_export(-1.0);
11echo PHP_EOL;
12var_export(-123.0);
13echo PHP_EOL;
14var_export(0.0);
15echo PHP_EOL;
16var_export(-0.0);
17echo PHP_EOL;
18var_export(10000000000000000.0);
19echo PHP_EOL;
20
21?>
22--EXPECT--
231.0
24123.0
25-1.0
26-123.0
270.0
28-0.0
2910000000000000000.0
30