f843 top-level property

double f843
getter/setter pair

Implementation

double f843 = f(843);