fix float.h inclusion