Real and Complex Fields

New features:

• The extended reals (type ExtRe) have been introduced to provide a satisfactory common universe for Infinity and integers/rationals/reals. This allows sequences of valuations to be created even when some of the valuations are infinite.

Bug fixes:

• The calculation $\infty^{{-\infty}}_{}$ no longer crashes.