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