f456 top-level property

double f456
getter/setter pair

Implementation

double f456 = f(456);