Editing: IsInteger.php