Type Definition typenum::P10

type P10 = PInt<U10>;