Fast: int vs double precision not right in comparator