#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 aa = a*a; // +inf
  ext_float_t m1 = -1;

  std::cout
    << aa << " * " << m1 << " = " << aa*m1 << "\n"
    << m1 << " * " << aa << " = " << m1*aa << "\n"
    << aa << " / " << m1 << " = " << aa/m1 << "\n"
    ;

  return 0;
}