Type Definition typenum::P1001

type P1001 = PInt<U1001>;