f880 top-level property

double f880
getter/setter pair

Implementation

double f880 = f(880);