Add float.h