Type Definition typenum::consts::N874

type N874 = NInt<U874>;