Type Definition typenum::consts::N871

type N871 = NInt<U871>;