Integer.php updated