rounding error fix issue #10