f3 top-level property

double f3
getter/setter pair

Implementation

double f3 = f(3);