/**
 * Converts the given double-double precision value to a string and returns the
 * result.
 *
 * * there will always be enough decimal digits returned but some could be
 * extraneous.
 *
 * @param dd
 */
declare function ddToStr(dd: number[]): string;
export { ddToStr };