Double-double: 31 digits of precision without leaving the FPU

Write your take first — we'll ask for email only when you're ready to publish.