[mmarx]

> But "modeling non-terminating loops in a computer program" is NOT the motivation for real numbers

Indeed Turing himself proved that there are non-computable real numbers.