https://9lib.org/document/y6e9lg64-binary-floating-arithmetic-proper-rounding-cumulation-practically-independent.html