testing that rounding works