michael@0: #include_next <bits/c++config.h>
michael@0: #undef _GLIBCXX_USE_FLOAT128