Double-double: FPU를 벗어나지 않고 31자리 정밀도

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

double의 15자리 정밀도로 부족할 때, 두 개의 double을 하나의 숫자로 취급하는 double-double 기법은 약 31자리의 정밀도를 제공하며, 일반 double 대비 실제 커널에서 약 9배의 비용이 든다. 힙 할당이나 의존성 없이 동작하며, 임의 정밀도 라이브러리(MPFR)와 비교했을 때 성능과 정밀도 사이의 중간 지점에 위치한다. 이 글은 오류 없는 변환(error-free transformations)의 원리를 설명하고, MPFR과의 벤치마크 결과를 제시하며, 이 기법의 한계를 다룬다.