✏️ Editing: SafeIntType.php