It's a fact proven by Pendleton, Gilmer, and Ohm (as an obvious corollary of their work, anyways) that PIDs are QR-domains, meaning every overring (ring between the domain and the quotient field) is a ring of quotients. I'm trying to find a counterexample for something else not being a QR-domain, and so understanding how to get an explicit construction would probably help me more. It's fairly easy to find explicit representations in Euclidean domains if I have something like $R[\frac{x}{y}]$ where $x,y\in R$ and show I indeed get $y$ is a unit in $R[\frac{x}{y}]$ by getting an explicit representation of $\frac{1}{y}$ in $R[\frac{x}{y}]$. My question is, how can I do this kind of thing for a PID that is not a Euclidean domain? I know I theoretically can, and I think it's going to be of the form $R[\frac{1}{y}]$, but how can I get an explicit proof that $y$ indeed becomes a unit (or if y doesn't, then some other nonunit in $R$ does) when passing to the overring, via getting an explicit representation of $\frac{1}{y}$? If you have a concrete example, that would be amazing too.
Thanks!