let
is_zero v = (sign_big_int v) = 0