f7 top-level property

double f7
getter/setter pair

Implementation

double f7 = f(7);