let
expr_float mem _fe _fr e =
(float_of_value (!expr_rec mem e))