Estimating a Sum Using Rounding