f1 top-level property

double f1
getter/setter pair

Implementation

double f1 = f(1);