<?php $num = '9999'; $arr = (array)(object)[$num => true]; var_dump(isset($arr[$num]));
You have javascript disabled. You will not be able to edit any code.