w712 top-level property

double w712
getter/setter pair

Implementation

double w712 = w(712);