f23 top-level property

double f23
getter/setter pair

Implementation

double f23 = f(23);