The number gets automatically converted to Int, which is 64 bits wide on 64-bit systems.
Unfortunately, casting to UInt128 or a larger type also won’t work:
- We didn’t implement that path to Python.
- Blocked by this bug: [BUG] Cant instantiate variable of UInt256 with more than 128 bit value · Issue #4049 · modular/modular · GitHub