[cogman10]

The 80bit float? Not as far as I'm aware. However, it's fairly trivial to represent a 127bit float with 2 64bit floats. And with the nature of AVX/SSE, you don't really take much of a performance hit for doing that as you are often operating on both parts of the double with the same instruction.

[enriquto]

Do you know if there's language support for that? Are there obscure gcc options that make "long double" be quadruple precision floats?

[zokier]

You can just use standard C _Float128 type https://gcc.gnu.org/onlinedocs/gcc/Floating-Types.html

[cogman10]

Which language?

For C++, there's this: https://en.cppreference.com/w/cpp/types/floating-point