Work around Safari 5 failures where right-shift of a non-integer is not
coerced to an integer.

See https://bugs.webkit.org/show_bug.cgi?id=40367 and
http://trac.webkit.org/changeset/60990 for details.

Patch by: jat
Review by: spoon, jgw


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