let
eq_real =
"eq_real"