Fix rounding when printing.

The rounding was using a simple cast, we now properly use the same
code as in Int() routine.