Type Definition typenum::P797

type P797 = PInt<U797>;