Faithfully Rounded Floating-point Computations. - LANGE, MARKO; RUMP, SIEGFRIED M. (ACM Transactions on Mathematical Software, 2020)