Funke, S., Mehlhorn, K., Schmitt, S., Burnikel, C., Fleischer, R., & Schirra, S.(2004). The LEDA class real number - extended version (ECG-TR-363110-01). Sophia Antipolis: INRIA.