use int() rather than round()

nl_server/search.py

@@ -90,9 +90,9 @@ def _rank_vars(candidates: EmbeddingsResult,
 
   # TODO: truncate the score based on model parameters from yaml
   # Same model would produce different scores after certain decimals, so we want
-  # to round to 5 decimal places to make the score and rank stable.
+  # to round to 6 decimal places to make the score and rank stable.
   for sv, score in sorted(sv2score.items(),
-                          key=lambda item: (-round(item[1], 5), item[0])):
+                          key=lambda item: (-int(item[1] * 1e6), item[0])):
     result.svs.append(sv)
     result.scores.append(score)