Type Definition typenum::N886

type N886 = NInt<U886>;