Introduce an int type