Manually replacing / 2's with >> 1's as this generates more optimal code in web mode because we don't have to coerce the result to integer.  However, it's only safe for non-negative numbers because shifting doesn't round correctly.

Review by: knorton (desk check)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@2332 8db76d5a-ed1c-0410-87a9-c151d255dfc7