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