Type Definition typenum::P20

type P20 = PInt<U20>;