double precision comparison