round floats in float_double_format