let
e_int_of_real = unop
TERM
.
I_of_R