refresh addf.c from addf_int.c