w767 top-level property

double w767
getter/setter pair

Implementation

double w767 = w(767);