✏️ Editing: Integer.php