f754 top-level property

double f754
getter/setter pair

Implementation

double f754 = f(754);