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