let
ne_real_bool =
"neq_real_bool"