Type Definition typenum::P158

type P158 = PInt<U158>;