Failed to use Python hex() function in Mojo

Mojo
1

I failed to use Python hex() function in Mojo. Can anyone help?
Python:

>>> hex(1087708488090796312015500987775900609011594597057856802365942675436720650738)
'0x2679f06244ddaea6bd268fe7331924551faf32445221f51372f57270b0c79f2'

Mojo:

builtins = Python.import_module("builtins")
hex_str = builtins.hex(1087708488090796312015500987775900609011594597057856802365942675436720650738)
print(hex_str)

error: integer value 1087708488090796312015500987775900609011594597057856802365942675436720650738 requires 251 bits to store, but the destination bit width is only 64 bits wide
2

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: