Type Definition typenum::P134

type P134 = PInt<U134>;