Handle int litterals correctly

[pascutto]

The translation of int constants is currently assuming that the constant is witten in decimal (see here), which is not the case, as Gospel handles binary, hexadecimal and octal formats too (see here).
The translation should check what kind of format it's dealing with, and call Number.int_literal with the correct kind instead.