f889 top-level property

double f889
getter/setter pair

Implementation

double f889 = f(889);