Finite Precision Number Systems and Arithmetic - Peter Kornerup; David W. Matula (2010)