Topos-theoretic models of the continuum

We survey a number of different approaches to modelling the continuum in a topos, with particular reference to such questions as whether the real line should be viewed as a space or a locale, the ring-theoretic properties of the continuum, and whether it is sensible to require that all real functions should be continuous or even smooth.