w443 top-level property

double w443
getter/setter pair

Implementation

double w443 = w(443);