mps/plzero : added an integer type