Infinite precision integer arithmetic

Description: We currently teach the functional language Miranda whose numbers are implemented in such a way that people doing work requiring accuracy can rely on the Miranda number system. Gofer is another functional language whose number system is nowhere is good (try (sqrt 2.0)^2 - 2 for example on the Miranda system and the gofer system). There are many reasons why we might decide to change from Miranda to gofer as a teaching language. It would be a real pity to lose the Miranda precision. The aim of this project is to investigate the different ways of representing numbers and to implement your choice. The implementation can either be in gofer itself or can alter the compiler itself. range of integers