> yes; however, maybe it would be easier to wait till Richard finishes the > work on not representing the overflow semantics in types (assuming that's > going to happen say in a few weeks?), which should make the fix > unnecessary,
Another thought - is this bug in the 4.4 branch? If so, a 4.4 fix may be needed too.