@entry{dar-kun-11-aa-safloat, author = {E Darulov{\'a} and V Kuncak}, title = {On the Design and Implementation of SmartFloat and AffineFloat}, journal = {}, volume = {}, number = {}, pages = {}, year = 2011, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://core.ac.uk/download/pdf/147971237.pdf}}}, quotes = {... On the other hand, using our affine-arithmeticbased type we compute an absolute error of 1.34 \uc{2217} 10\uc{2212}15, which is (by the correctness of our approach) sound, yet several orders of ...} }