Type Definition typenum::P719

type P719 = PInt<U719>;