boost multiprecision div bug test case

boost-div.cpp

#include <iostream>
#include <boost/multiprecision/cpp_int.hpp>
#include <boost/version.hpp>

using u256 =  boost::multiprecision::number<boost::multiprecision::cpp_int_backend<256, 256, boost::multiprecision::unsigned_magnitude, boost::multiprecision::unchecked, void>>;

int main()
{
  std::cout << "Boost " << BOOST_VERSION << std::endl;
  u256 a{"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFBA"};
  u256 b{"0x1DAE6076B981DAE6076B981DAE6076B981DAE6076B981DAE6076B981DAE6077"};
  auto c = a / b;
  std::cout << c << std::endl;
  return 0;
}