public LogStream print(double d){
  if (ps != null) {
    indent();
    lineBuffer.append(d);
  }
  return this;
}

public LogStream print ( double d ) { if ( ps != null ) { indent ( ) ; lineBuffer . append ( d ) ; } return this ; }
writes a double value to this stream .
