final public void println(double v){
  String s=String.valueOf(v);
  write(s,0,s.length());
  println();
}

final public void println ( double v ) { String s = String . valueOf ( v ) ; write ( s , 0 , s . length ( ) ) ; println ( ) ; }
prints a double followed by a newline .
