Type Definition typenum::P1003

type P1003 = PInt<U1003>;