w713 top-level property

double w713
getter/setter pair

Implementation

double w713 = w(713);