f888 top-level property

double f888
getter/setter pair

Implementation

double f888 = f(888);