Create float.h