added Int for other platforms

Hi Fernando,

Thanks for the port. I wanted to start using it, and ran into compilation errors, because of the UInt vs. Int.
This should fix it for all the other platforms except for html5.

Fritz