a minor change after the coercion, to accept two objects not necessarily of
the same type but with the same tp_compare.