fix the last known rounding bug in floating point printing