let float_of_value = function
    | M.V_float(_,t) -> t
    | _ -> assert false