f871 top-level property

double f871
getter/setter pair

Implementation

double f871 = f(871);