when x86-64 support was added, "for long double, we use x87 FPU". And indeed, tests show that Intel's extended precision is used, not double precision.