fix int type