let has_sign_problems v =
      not (is_included top_int v || is_included v top_float)