ldo/ti5x_android — pull request #5 by TurboGit (2014-05-27 16:50:57+00:00)
Title: 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.