Type Definition typenum::P1009

type P1009 = PInt<U1009>;