Exaktes Rechnen mit reellen Zahlen und anderen unendlichen Objekten