Handbook of Floating-Point Arithmetic - Muller (Springer International Publishing, 2018)