cleanup negation
cleanup is_infinite
cleanup is_finite
remove is_negative_infinite
remove is_positive_infinite