let expr_float mem fe fr e =
    D.f_convert fe fr (float_of_value (!expr_rec mem e))