Re: Arithmetic (was: Polymorphism without protocol dilution)