Delete float.h