f5 top-level property

double f5
getter/setter pair

Implementation

double f5 = f(5);