Function is_safe_integer_range