/**
 * Returns the result of multiplying the given double-double by -2.
 * * The result is exact
 * @param f a double-double precision floating point number
 */
declare function ddMultByNeg2(f: number[]): number[];
export { ddMultByNeg2 };