Type Definition typenum::consts::N851

type N851 = NInt<U851>;