python operator overloading different types