Ensure binop functions have different names.

Required by RPython.