The specifications of natural numbers, integers and the rational numbers in Note M-6 [RM99a] include the following representations:

- The natural numbers can be represented as

where*d*_{1}:: d_{2}:: ...:: d_{n},*n >1,**d*_{i}**e***{0,1, ...9}*for*1*__<__i__<__n. - For integers we allow additionally the signs "
*+*" and "*-*". - Rational numbers can be an integers or a fraction
*(x/p),**(-x/p),**+(x/p),**+(-x/p),**-(x/p),*and*-(-x/p),*where*x*is of sort*Int*and*p*is of sort*Pos*.For finite decimal fractions we allow also

*d*for the number_{1}:: d_{2}:: ...:: d_{n}::: d'_{1}:: d'_{2}:: ...:: d'_{m}*d*and_{1}d_{2}...d_{n}. d'_{1}d'_{2}...d'_{m}*r E i*for the number*r * 10*where^{i},*r*is of sort*Rat*and*i*of sort*Int*.

CoFI Note: M-7 -- Version: 0.2 -- 13 April 1999.

Comments to till@informatik.uni-bremen.de