double-double/node/double-double/unary/dd-div-by-2.js

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

/**
 * Returns the result of dividing the given double-double by 2.
 * @param f a double-double precision floating point number
 */
function ddDivBy2(f) {
    return [f[0] / 2, f[1] / 2];
}
export { ddDivBy2 };
//# sourceMappingURL=dd-div-by-2.js.map