f864 top-level property

double f864
getter/setter pair

Implementation

double f864 = f(864);