<?php $val = (int) null; var_dump($val, is_int($val));
You have javascript disabled. You will not be able to edit any code.