Issue #33 inconsistency for float rounding