Issue #34: IE compatible rounding added