use printf for rounding