Add HTFloatEqual.h