+1 from me. This is what I am arguing for on the thread about improving operator type checking.
-Chris