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