let r_op = function
  | Radd -> add_real
  | Rsub -> sub_real
  | Rmul -> mul_real
  | Rdiv -> fract_real