Closed gkaracha closed 3 years ago
As noted by @dorranh, the Michelson specification clearly states that:
Mutez (micro-Tez) are internally represented by a 64 bit signed integers.
but our current mock implementation of tez in ligo.ml uses Z.t instead:
ligo.ml
Z.t
type tez = Z.t
We should probably change the definition of tez to the following:
type tez = Int64.t
As noted by @dorranh, the Michelson specification clearly states that:
but our current mock implementation of tez in
ligo.mlusesZ.tinstead:We should probably change the definition of tez to the following: