Math: fix rounding.

Surprise: 2^51+0.5 = 2^51+1.  So don't do that.