Integer
Scilla defines signed and unsigned integer types of 32, 64, 128, and 256 bits.
These integer types can be specified with the keywords IntX and UintX where X can be 32, 64, 128, or 256.
For example, the type of an unsigned integer of 32 bits is Uint32.
The following code snippet declares a variable of type Uint32:
scilla_version 0
import IntUtils
let zero_int32 = Int32 0let zero_int64 = Int64 0let zero_int128 = Int128 0let zero_int256 = Int256 0
let zero_uint32 = Uint32 0let zero_uint64 = Uint64 0let zero_uint128 = Uint128 0let zero_uint256 = Uint256 0
contract Integers()
transition IsGreaterThan(a: Int32, b: Int32) is_gt = int32_gt a b; ev = {_eventname : "IsGreaterThan"; a: a; b: b; is_a_greater_b: is_gt}; event evend
transition Example(a: Uint128, b: Uint128) c = builtin eq a b; (*Is a equal to b? Returns a Bool.*)
d = builtin add a b; (*Add integer values a and b. Returns an integer of the same type.*)
e = builtin sub a b; (*Subtract b from a. Returns an integer of the same type.*)
f = builtin mul a b; (*Integer product of a and b. Returns an integer of the same type.*)
g = builtin div a b; (*Integer division of a by b. Returns an integer of the same type.*)
h = builtin rem a b; (*The remainder of integer division of a by b. Returns an integer of the same type.*)
i = builtin uint128_lt a b; (*Is a less than b? Returns a Bool.*)
j = builtin uint128_le a b; (*Is a less or equal to b? Returns a Bool.*)
k = builtin uint128_gt a b; (*Is a greater than b? Returns a Bool.*)
l = builtin uint128_ge a b; (*Is a greater or equal than b? Returns a Bool.*)
m = builtin uint128_pow a b; (*a raised to the power of b. Returns an integer of the same type as a.*)
p = builtin uint128_isqrt a; (*Computes the integer square root of i, i.e. the largest integer j such that j * j <= i. Returns an integer of the same type as i.*)
q = builtin uint128_to_nat a; (*Convert a value of type Uint32 to the equivalent value of type Nat.*)
r = builtin to_(u)int32/64/128/256 (*Convert a UintX / IntX or a String (that represents a decimal number) value to the result of Option UintX or Option IntX type. Returns Some res if the conversion succeeded and None otherwise. The conversion may fail when*)end