No need. I didn't realize this was just to bound rounding error. The way you have it is good.