Type Definition typenum::N88

type N88 = NInt<U88>;