int width
@DomName('HTMLInputElement.width'), read / write