Branimir Lambov RealLib: An efficient implementation of exact real arithmetic. 81-98 2007 17 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129506005822 db/journals/mscs/mscs17.html#Lambov07