Update Int.php