am 7a99d801: Merge "Revert "Fix Double.toString() for a tie case""

* commit '7a99d80166e78c92ef5ccf5a609753613ecac470':
  Revert "Fix Double.toString() for a tie case"