let
value_of_integer i z =
M
.
V_int
(i,z)