Robust Arithmetic in Computational Geometry.