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