code: public String getWidthAsString() {
  		String w = String.valueOf(width);
  		if (w.endsWith(".0")) w = w.substring(0, w.length() - 2);
  		if (percentage) w += "%";
  		return w;
  	}
docs: Gets the width as a String.
  
  @return	a value