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