better rounding of numbers