f853 top-level property

double f853
getter/setter pair

Implementation

double f853 = f(853);