Type Definition typenum::P726

type P726 = PInt<U726>;