Type Definition typenum::P134217728

type P134217728 = PInt<U134217728>;