f772 top-level property

double f772
getter/setter pair

Implementation

double f772 = f(772);