let eq_real_bool  = "eq_real_bool"