Type Definition typenum::N888

type N888 = NInt<U888>;