let expr_float_operator mem fr binop f1 e1 f2 e2 =
    let t1 = expr_float mem f1 fr e1 in
    let t2 = expr_float mem f2 fr e2 in
    float_operator fr binop t1 t2