Type Definition typenum::P718

type P718 = PInt<U718>;