https://123dok.net/document/y6eld2mo-emulation-fma-correctly-rounded-proved-algorithms-using-rounding.html