<?php

$d = [0.3 => 'hello', 0.30000000000000004 => 'world'];
echo $d[0.1 + 0.2] . "\n";
echo $d[0.3];