change uniqueness checks to double precision (instead of long double)