Handbook of Floating-Point Arithmetic. (2018)