Type Definition typenum::P833

type P833 = PInt<U833>;