1--TEST--
2adding integers to doubles
3--INI--
4precision=14
5--FILE--
6<?php
7
8$i = 75636;
9$d = 2834681123.123123;
10
11$c = $i + $d;
12var_dump($c);
13
14$c = $d + $i;
15var_dump($c);
16
17echo "Done\n";
18?>
19--EXPECT--
20float(2834756759.123123)
21float(2834756759.123123)
22Done
23
