Support primtive !=, succ