f547 top-level property

double f547
getter/setter pair

Implementation

double f547 = f(547);