Type Definition typenum::P763

type P763 = PInt<U763>;