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
| _ -> WpLog.fatal "[float_operator] non float operator"