Huaiyu Zhu wrote: > Given what's quoted below, would you think . is the best choice? if what you're saying means that: >>> 1.+2. 3.0 becomes: >>> 1.+2. Traceback (innermost last): File "<stdin>", line 1, in ? TypeError: __dotadd__ nor __rdotadd__ defined for these operands it's clearly not a good choice. </F>