The LEDA class real number (1996)

by C Burnikel, K Mehlhorn, S Schirra