includes missing in sign.hpp and fuzzy_greater_or_equal.cpp