Create multi_float.v