Type Definition typenum::consts::N877

type N877 = NInt<U877>;