Create float_format.v