An Arithmetical Module for Rationals and Reals
 
                        Jan Bergstra
                        Alex Sellink

                   
The objective of this document is to provide a number of data types
between naturals and rationals: natural numbers, fractions in various
notations and fixed- and floating point reals in arbitrary precision.
These fixed point reals result from rounding off which occurs if
a decimal notation for a fraction is needed.
 
The specifications have been produced, typechecked and simulated using the
ASF+SDF system.