Type Definition typenum::consts::P851

type P851 = PInt<U851>;