#include <iostream>
#include <boost/multiprecision/cpp_bin_float.hpp>


typedef boost::multiprecision::number<boost::multiprecision::backends::cpp_bin_float<128, boost::multiprecision::backends::digit_base_2> > ext_float_t;

int main(int, char**) {
  ext_float_t a("1e500000000");
  ext_float_t neginf = (-a)*a; // -inf
  ext_float_t x = -42;

  std::cout
    << x << " - " << neginf << " = " << x-neginf << "\n"
    ;

  return 0;
}