<?php var_dump(gettype(6)); var_dump(gettype(6.0)); var_dump(gettype(0x06));
You have javascript disabled. You will not be able to edit any code.