>There is an easy counter model. The universe is _literally_ a real number machine, i.e. even a particular point is only describable to us in the approximate.

There is actually some debate about that, and for good reason. There are even a couple of practicing physicists looking at how predictions would differ assuming the universe has finite precision, and if I recall correctly the results from that investigation are non-trivial.