Type Definition typenum::P837

type P837 = PInt<U837>;