f417 top-level property

double f417
getter/setter pair

Implementation

double f417 = f(417);