Type Definition typenum::P157

type P157 = PInt<U157>;