In <boost/cstdfloat.hpp>, repair buglets for ICC float128_t.