No. That would be evidence of polymorphism. Those objects have explicit ways of handling those operations based on the types or interface of the object left/rig

No. That would be evidence of polymorphism. Those objects have explicit ways of handling those operations based on the types or interface of the object left/right of the operand. The interpreter/type system is doing nothing implicitly behind the scenes to coerce the objects.