Fix the guess int type