f877 top-level property

double f877
getter/setter pair

Implementation

double f877 = f(877);