<?php $f = 5.0; $a = [5 => 'hello']; if (isset($a[$f])) { var_dump($f); }
You have javascript disabled. You will not be able to edit any code.