php - Associative Array Key Casting Float String

In my code, I have generated an associative array with keys as floats, however the PHP documentation states that when they become key's in the array they are SUPPOSED to be cast to integers. Instead, they are being cast to strings (which is actually better for me so I'm not complaining).

The problem is that when I try to access these keys using a float as the key value, it casts only the floats with .5 to integers and creates a new entry in the array. Seems like peculiar behavior.

Example:

var_dump( $array );
Copy code

Output:

array(9) {
[0] =>
int(0)
[1.25] =>
int(0)
[2.5] =>
int(0)
....}
Copy code

When I try to access the value 2.5 like so,

array[2.5]++;
Copy code

a new entry in the array is made atarray[2] However if I try to access the array atarray[1.25]++; I successfully add 1 to the value at key: 1.25

Any ideas?