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