Fixes for cpp_bin_float