Trivial clean-up in cpp_dec_float.hpp.