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