f708 top-level property

double f708
getter/setter pair

Implementation

double f708 = f(708);