Work on bug #8149.  The result needed to be divided by 2.