Description:
------------
A very strange problem occurs on my webserver. If you run the provided code via http://knmm.de/bug.php a few times, in about 1 out of 10 times the second line of output is "$price is a double with value 34". This shows up randomly.
Running the script on the commandline of the same machine doesn't show this behaviour.

--
Tobi

Reproduce code:
---------------
$price = '34.90';

echo "\$price is a ".gettype($price)." with value $price\n";
settype($price,'double');
echo "\$price is a ".gettype($price)." with value $price\n";

(also available via http://knmm.de/bug.phps)

Expected result:
----------------
$price is a string with value 34.90
$price is a double with value 34.9


Actual result:
--------------
$price is a string with value 34.90
$price is a double with value 34