Btw,
I think if you make the ring that x comes from a ring of integers, then x will already be an integer?
x