割と新しいサーベイ

 各システムにおける実数の扱いが平明に記されています.
http://hal.inria.fr/docs/00/80/69/20/PDF/article.pdf