let float_operator phi = function
    | PlusA  -> R.f_op phi Formula.Radd
    | MinusA -> R.f_op phi Formula.Rsub
    | Mult   -> R.f_op phi Formula.Rmul
    | Div    -> R.f_op phi Formula.Rdiv
    | _ -> assert false