w457 top-level property

double w457
getter/setter pair

Implementation

double w457 = w(457);