The thing is that you could do all that on a Turing machine, so any model just "fudging" infinite precision would be equivalent in power to a Turing machine.