Type Definition typenum::P793

type P793 = PInt<U793>;