w512 top-level property

double w512
getter/setter pair

Implementation

double w512 = w(512);