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