Double-double: 31 digits of precision without leaving the FPU (via fanf) — discussion

#math