Estimating Sums with Rounding