Type Definition typenum::P1023

type P1023 = PInt<U1023>;