Rounding causes a loss of information. We should only round numbers
when we have to. This commit fixes instrumentation code that was
unnecessarily rounding intermediate results.