double-double/src/double-double/unary/dd-div-by-2.ts

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: number[]) {
    return [f[0]/2, f[1]/2];
}


export { ddDivBy2 }