f845 top-level property

double f845
getter/setter pair

Implementation

double f845 = f(845);