AERN2.Real.Arithmetic