Type Definition typenum::P1007

type P1007 = PInt<U1007>;