Type Definition typenum::P23

type P23 = PInt<U23>;