Type Definition typenum::P1013

type P1013 = PInt<U1013>;