Type Definition typenum::P835

type P835 = PInt<U835>;