f847 top-level property

double f847
getter/setter pair

Implementation

double f847 = f(847);