<?php

$d = [0.3 => 'hello'];
echo $d[0.1 + 0.2];