Update float_format.v