f878 top-level property

double f878
getter/setter pair

Implementation

double f878 = f(878);