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