I'm learning Mozart and I have a question, Does anyone knows how to convert a Integer to an Hexadecimal without the manual-mathematical table conversion. Is there any included function/module to do that? I know how to convert the other way:
{String.toInt "0x2d7"} %% Hex to Int
{String.toInt "052"} %% Octal to Int
{String.toInt "0b101010"} %% Binary to Int
Thank you in advance.