[Animats]

Constructive mathematics can handle rational numbers. Rational numbers are continuous, in the sense of being infinitely sub dividable. That is, between N/M and (N+1)/M lies (2N+1) / (2M).