use float.h