f753 top-level property

double f753
getter/setter pair

Implementation

double f753 = f(753);