In this chapter we compare the computing machinery of an arbitrary programming language with a built-in data type for real numbers with the mathematical interpretation of its constructs.
