fix intLtint type