Type Definition typenum::P1020

type P1020 = PInt<U1020>;