dseguy, French 
#PHP doesn't allow float as index in arrays.
It is possible to use them as such by casting them to string. Later, type juggling will allow adding to another float, seamlessly.
https://php-tips.readthedocs.io/en/latest/tips/store_float_as_index.html