Type Definition typenum::P764

type P764 = PInt<U764>;