f671 top-level property

double f671
getter/setter pair

Implementation

double f671 = f(671);