Ah. I can see what you mean.

btw. I extended Arithmetics.