In other places we are using Decimal objects to represent real numbers. I'd suggest to do the same here: it would give more accurate rounding, and code more consistent with other parts of the app.