w789 top-level property

double w789
getter/setter pair

Implementation

double w789 = w(789);