f813 top-level property

double f813
getter/setter pair

Implementation

double f813 = f(813);