f789 top-level property

double f789
getter/setter pair

Implementation

double f789 = f(789);