Description:
------------
Suppose we have a float value: $value = 345.332 and we want to use this value as an array key: $array[$value] = $value. This will cause that key will be truncated to integer 345 not to string "345.332". It is written in the manual that:

"...A key may be either an integer or a string. If a key is the standard representation of an integer, it will be interpreted as such (i.e. "8" will be interpreted as 8, while "08" will be interpreted as "08")..."

From this point of view floats should be converted to strings. I'm not saying that this is a bug, rather I would like to be sure if this is a proper behavior. Simple solution is to type cast float value to string (string), but we have to know that given value is a float (and sometimes, we don't know that). IMHO any other type than integer should be treat as string.



Reproduce code:
---------------
$value = 345.654;
$array = array();
$array[$value] = "Float";

Expected result:
----------------
array (
 "345.654" => "Float"
)

Actual result:
--------------
array (
 "345" => "Float"
)