Fix rounding when printing.

The rounding was using a simple cast, we now properly use the same
code as in Int() routine.

This fixes a bug I have found while translating an old game. The printer was sometime printing a wrong characters at the end of the print slot because of rounding.