f859 top-level property

double f859
getter/setter pair

Implementation

double f859 = f(859);