let mathd-algebra-170 = `FINITE {n:int | abs (real_of_int n - &2) <= &5 + &6 / &10} ==> CARD {n:int | abs (real_of_int n - &2) <= &5 + &6 / &10} = 11`;;