new file: float_def.h
prepare for work_area
ditto
mv