tlfloat: Template library for floating point operations (via ngoldbaum) — discussion

#c++