Another intriguing possibility is to represent all required numbers exactly, even sqrt(2). It is possible with lazy evaluation: essentially a number is represen

Another intriguing possibility is to represent all required numbers exactly, even sqrt(2). It is possible with lazy evaluation: essentially a number is represented by a function that computes the digits of its decimal expansion, and arithmetic operations take two functions and return a third. Inefficient but mind-blowing.