The name "floatint.c" seemed to be nonsense, so it is renamed as "fadd.c".