int type