Do you reckon replacing the numbers with wacky martian symbols might be cool? I like the idea of translating things, but seeing martians talk saying things like "2!" "3." "1" is a bit weird, if not funny in its own way
Viewing post in Synthesizing Martian Speech comments
I'd consider trying it with short nonsense phrases written in the Standard Galactic Alphabet, of Keen and Minecraft fame. It was designed as a genuine font with the intention of players being able to legitimately read it, so it might work better, and it's already got a storied history of being used on mars.