Godel numbers

• Godel number was much larger.
• Is the other way around possible??
• >>> eval('10**12')
• 1000000000000
• >>> gnum(‘10**12’)
• 181711111819
• Yes! (depending on the language features allowed)