That's a start, but you might be able to do better than that; for example, you ought to be able to show that the floating-point rounding error is unbiased.