What is 'long double' on non-X86 (non-PPC?)? On X86, I know it is an 80-bit X87 float. I wonder if the bug you are seeing is a result of the C++ STL and not th

What is 'long double' on non-X86 (non-PPC?)? On X86, I know it is an 80-bit X87 float. I wonder if the bug you are seeing is a result of the C++ STL and not the compiler itself. Can you try reproing with libc++?