width top-level property

double width
getter/setter pair

Implementation

double width = 0;