w777 top-level property

double w777
getter/setter pair

Implementation

double w777 = w(777);