let real_of_value = function | M.V_float(_,t) -> t | M.V_int(_,t) -> F.real_of_integer t | _ -> assert false