am 86436984: Merge "Fix Double.toString() for a tie case"

* commit '86436984baf98f58c7363788bf2e81f756517176':
  Fix Double.toString() for a tie case