Update float.h