f762 top-level property

double f762
getter/setter pair

Implementation

double f762 = f(762);