This all assumes there's no computation beyond a Turing machine, right? Therefore, this assumes reality is a simulation on a finite set of rationals?

So, as long as one believes in continuum, this is just toying around?

We've yet to propose an experiment that demonstrates the inadequacy of IEEE floats if used carefully. The simulation only needs to be good enough.