double-double/node/double-double/unary/dd-mult-by-neg-4.js

Pure double-double precision functions *with strict error bounds*.

/**
 * Returns the result of multiplying the given double-double by -4.
 * * The result is exact
 * @param f a double-double precision floating point number
 */
function ddMultByNeg4(f) {
    return [-4 * f[0], -4 * f[1]];
}
export { ddMultByNeg4 };
//# sourceMappingURL=dd-mult-by-neg-4.js.map