SoftFPU is a C++ library implementing concrete and symbolic mantics for floating point numbers as defined in the IEEE-764 Standard r Floating-Point Arithmetic. It is templated in terms of the t-vectors, propositions, floating-point formats and rounding mode types ed. This allow the same code to be executed as an arbitrary precision brary or to be used to build symbolic representations of floating-point erations.