If Tezos was to shorn their full code set into a small 56bit processor it would cause overflow due to the sheer amount of transactions and overriding gas limit.

So it doesn't.

So...what process is used? But also what else does it do stop prevent overflow, as well?


1 Answer 1


For the nat, int, and timestamp types, the Michelson interpreter uses arbitrary-precision arithmetic provided by the OCaml Zarith library.

  • And what does that mean? Thanks!
    – Auto
    Feb 4, 2022 at 13:54
  • It means that their size is only limited by gas or storage limits. You can store huge numbers in a contract without reaching the limit. Feb 4, 2022 at 15:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.