Added set_floating_point_format