w3 top-level property

double w3
getter/setter pair

Implementation

double w3 = w(3);