add xs is_positive_infinite and is_negative_infinite