K 10 svn:author V 3 das K 8 svn:date V 27 2011-10-21T06:30:43.333767Z K 7 svn:log V 143 Fix a regression introduced in r226371: When the high part of x*y exactly cancels with z, return the low part of x*y instead of discarding it. END