Add float.h header to misc.h