let lt_real_bool  = "lt_real_bool"