w725 top-level property

double w725
getter/setter pair

Implementation

double w725 = w(725);