f523 top-level property

double f523
getter/setter pair

Implementation

double f523 = f(523);