Create floatarith.fs