Type Definition typenum::P131

type P131 = PInt<U131>;