The Krull-ring conjecture for integer-valued polynomial rings

Let $R$ be a Krull ring, and let $\operatorname{Int}(R)$ denote its ring of integer-valued polynomials. A PVMR is the corresponding Prüfer-v-multiplication ring notion for rings with zerodivisors, and an $R$-plethory is a plethory over $R$. Krull-ring conjecture. If $R$ is a Krull ring, then $\operatorname{Int}(R)$ is a PVMR and has the structure of an $R$-plethory. The surrounding discussion gives analogous results for constructions involving total quotient rings, but does not establish this assertion for every Krull ring.