Double.toString bug. Spurious right parenthesis and an asterisk replace digits.

Printable View