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