Type Definition typenum::consts::N888

type N888 = NInt<U888>;