/**
* 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.
*
* @paramdd
*/declarefunctionddToStr(dd: number[]): string;
export { ddToStr };