Their programs would be single real numbers: http://en.wikipedia.org/wiki/Real_computer .