Type Definition typenum::P129

type P129 = PInt<U129>;