add xs is_finite