Type Definition typenum::P1017

type P1017 = PInt<U1017>;