double-double/node/double-double/binary/dd-gte.js

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

/**
 * Returns `true` if `x1 >= x2`, `false` otherwise.
 *
 * @param x1 a double-double precision floating point number
 * @param x2 a double-double precision floating point number
 */
function ddGte(x1, x2) {
    if (x1[1] > x2[1]) {
        return true;
    }
    if (x1[1] < x2[1]) {
        return false;
    }
    if (x1[0] >= x2[0]) {
        return true;
    }
    return false;
}
export { ddGte };
//# sourceMappingURL=dd-gte.js.map