Exaktes Rechnen mit reellen Zahlen