Andreas wrote...
>There is a reason to use new names that I think is even more important than
>my personal preferences ;-) It allows someone to *change* the meaning of
>division in either way if there is a need to.

Yes, I realize this and, as I said, it's fine with me.

Definitely critical to fix it.

	- Dan