Exact real arithmetic for interval number systems

An interval number system is given by an initial interval cover of the extended real line and by a finite system of nonnegative Möbius transformations. Each sequence of transformations applied to an initial interval determines a sequence of nested intervals whose intersection contains a unique real number. We adapt in this setting the exact real algorithms which compute arithmetical operations to arbitrary precision.